summaryrefslogtreecommitdiff
path: root/tests/analysis
diff options
context:
space:
mode:
Diffstat (limited to 'tests/analysis')
-rw-r--r--tests/analysis/disass/Makefile5
-rw-r--r--tests/analysis/disass/block.py4
-rw-r--r--tests/analysis/disass/h2.c36
-rw-r--r--tests/analysis/disass/links.py11
-rw-r--r--tests/analysis/disass/loop.py75
5 files changed, 124 insertions, 7 deletions
diff --git a/tests/analysis/disass/Makefile b/tests/analysis/disass/Makefile
index 8359b5c..4fd0338 100644
--- a/tests/analysis/disass/Makefile
+++ b/tests/analysis/disass/Makefile
@@ -1,5 +1,5 @@
-EXECUTABLES=hello endofname irreducible selfloop evalcommand h1b
+EXECUTABLES=hello endofname irreducible selfloop evalcommand h1b h2
all: $(EXECUTABLES)
@@ -21,5 +21,8 @@ evalcommand: evalcommand.c
h1b: h1b.c
$(ARM_CROSS)gcc $< -o $@
+h2: h2.c
+ $(ARM_CROSS)gcc $< -o $@
+
clean:
rm -f $(EXECUTABLES)
diff --git a/tests/analysis/disass/block.py b/tests/analysis/disass/block.py
index 0907542..b9f34cd 100644
--- a/tests/analysis/disass/block.py
+++ b/tests/analysis/disass/block.py
@@ -280,7 +280,7 @@ class TestBasicBlocks(ChrysalideTestCase):
if dt == ArchInstruction.ILT_LOOP:
loop_count += 1
- self.assertEqual(loop_count, 8)
+ self.assertEqual(loop_count, 7)
loop_count = 0
@@ -289,4 +289,4 @@ class TestBasicBlocks(ChrysalideTestCase):
if dt == ArchInstruction.ILT_LOOP:
loop_count += 1
- self.assertEqual(loop_count, 8)
+ self.assertEqual(loop_count, 7)
diff --git a/tests/analysis/disass/h2.c b/tests/analysis/disass/h2.c
new file mode 100644
index 0000000..fe77341
--- /dev/null
+++ b/tests/analysis/disass/h2.c
@@ -0,0 +1,36 @@
+
+#include <stdio.h>
+
+int main(int argc, char **argv)
+{
+ int i;
+ int j;
+
+ for (i = 0; i < argc; i++)
+ {
+ printf("arg[%d]: %s\n", i, argv[i]);
+
+ for (j = 0; j < i; j++)
+ {
+ printf(".");
+
+#if 1
+ if (argc > 2)
+ printf("!");
+ else
+ printf("#");
+
+ printf(".");
+#endif
+
+ }
+
+ printf("\n");
+
+ }
+
+ printf("Hello\n");
+
+ return 0;
+
+}
diff --git a/tests/analysis/disass/links.py b/tests/analysis/disass/links.py
index e0c9ec9..e4c9946 100644
--- a/tests/analysis/disass/links.py
+++ b/tests/analysis/disass/links.py
@@ -62,11 +62,14 @@ class TestDisassLinks(ChrysalideTestCase):
binary.analyze_and_wait()
+ sym = fmt.find_symbol_by_label('main')
+ self.assertIsNotNone(sym)
+
nat_count = 0
- for ins in binary.processor.instrs:
- for _, dt in ins.destinations:
- if dt == ArchInstruction.ILT_EXEC_FLOW:
+ for blk in sym.basic_blocks:
+ for _, dt in blk.destinations:
+ if dt == ArchInstruction.ILT_LOOP:
nat_count += 1
- self.assertEqual(nat_count, 3)
+ self.assertEqual(nat_count, 1)
diff --git a/tests/analysis/disass/loop.py b/tests/analysis/disass/loop.py
new file mode 100644
index 0000000..6f7f405
--- /dev/null
+++ b/tests/analysis/disass/loop.py
@@ -0,0 +1,75 @@
+#!/usr/bin/python3
+# -*- coding: utf-8 -*-
+
+
+# S'assure du bon fonctionnement des blocs basiques
+
+
+from chrysacase import ChrysalideTestCase
+from pychrysalide.analysis.contents import FileContent
+from pychrysalide.analysis import LoadedBinary
+from pychrysalide.arch import ArchInstruction
+from pychrysalide.format.elf import ElfFormat
+import os
+import sys
+
+
+class TestDisassLoop(ChrysalideTestCase):
+ """TestCase for loop detection."""
+
+ @classmethod
+ def setUpClass(cls):
+
+ super(TestDisassLoop, cls).setUpClass()
+
+ cls.log('Compile binary "h2" if needed...')
+
+ fullname = sys.modules[cls.__module__].__file__
+ dirpath = os.path.dirname(fullname)
+
+ os.system('make -C %s h2 > /dev/null 2>&1' % dirpath)
+
+
+ @classmethod
+ def tearDownClass(cls):
+
+ super(TestDisassLoop, cls).tearDownClass()
+
+ cls.log('Delete built binaries...')
+
+ fullname = sys.modules[cls.__module__].__file__
+ dirpath = os.path.dirname(fullname)
+
+ os.system('make -C %s clean > /dev/null 2>&1' % dirpath)
+
+
+ def testLoopOverflow(self):
+ """Ensure loop number does't not get overestimated."""
+
+ fullname = sys.modules[self.__class__.__module__].__file__
+ filename = os.path.basename(fullname)
+
+ baselen = len(fullname) - len(filename)
+
+ cnt = FileContent(fullname[:baselen] + 'h2')
+ self.assertIsNotNone(cnt)
+
+ fmt = ElfFormat(cnt)
+ self.assertIsNotNone(fmt)
+
+ binary = LoadedBinary(fmt)
+ self.assertIsNotNone(binary)
+
+ binary.analyze_and_wait()
+
+ sym = fmt.find_symbol_by_label('main')
+ self.assertIsNotNone(sym)
+
+ loop_count = 0
+
+ for blk in sym.basic_blocks:
+ for _, dt in blk.destinations:
+ if dt == ArchInstruction.ILT_LOOP:
+ loop_count += 1
+
+ self.assertEqual(loop_count, 2)