diff options
Diffstat (limited to 'tests/analysis')
-rw-r--r-- | tests/analysis/disass/Makefile | 5 | ||||
-rw-r--r-- | tests/analysis/disass/block.py | 37 | ||||
-rw-r--r-- | tests/analysis/disass/evalcommand.c | 243 |
3 files changed, 284 insertions, 1 deletions
diff --git a/tests/analysis/disass/Makefile b/tests/analysis/disass/Makefile index ef70dec..17df230 100644 --- a/tests/analysis/disass/Makefile +++ b/tests/analysis/disass/Makefile @@ -1,5 +1,5 @@ -EXECUTABLES=hello endofname irreducible selfloop +EXECUTABLES=hello endofname irreducible selfloop evalcommand all: $(EXECUTABLES) @@ -15,5 +15,8 @@ irreducible: irreducible.c selfloop: selfloop.c $(ARM_CROSS)gcc $< -o $@ +evalcommand: evalcommand.c + $(ARM_CROSS)gcc $< -o $@ + clean: rm -f $(EXECUTABLES) diff --git a/tests/analysis/disass/block.py b/tests/analysis/disass/block.py index 0b4f3dd..f8e6fe9 100644 --- a/tests/analysis/disass/block.py +++ b/tests/analysis/disass/block.py @@ -33,6 +33,8 @@ class TestBasicBlocks(ChrysalideTestCase): os.system('make -C %s selfloop > /dev/null 2>&1' % dirpath) + os.system('make -C %s evalcommand > /dev/null 2>&1' % dirpath) + @classmethod def tearDownClass(cls): @@ -147,3 +149,38 @@ class TestBasicBlocks(ChrysalideTestCase): loop_count += 1 self.assertEqual(loop_count, 1) + + + def testComplexLoopBlock(self): + """Validate support for complex loop blocks.""" + + fullname = sys.modules[self.__class__.__module__].__file__ + filename = os.path.basename(fullname) + + baselen = len(fullname) - len(filename) + + cnt = FileContent(fullname[:baselen] + 'evalcommand') + 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('evalcommand') + self.assertIsNotNone(sym) + + found = sym.basic_blocks.find_by_addr(sym.range.addr) + self.assertIsNotNone(found) + + 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, 3) diff --git a/tests/analysis/disass/evalcommand.c b/tests/analysis/disass/evalcommand.c new file mode 100644 index 0000000..f6effc3 --- /dev/null +++ b/tests/analysis/disass/evalcommand.c @@ -0,0 +1,243 @@ + + +/** + * On reproduit un code similaire à celui d'un fichier de Busybox (busybox-1.30.0/shell/ash.c). + * + * La commande de compilation est : + * + * arm-linux-gnueabi-gcc -Wp,-MD,shell/.ash.o.d -std=gnu99 -Iinclude -Ilibbb -include include/autoconf.h -D_GNU_SOURCE -DNDEBUG -D"BB_VER=KBUILD_STR(1.30.0)" -Wall -Wshadow -Wwrite-strings -Wundef -Wstrict-prototypes -Wunused -Wunused-parameter -Wunused-function -Wunused-value -Wmissing-prototypes -Wmissing-declarations -Wno-format-security -Wdeclaration-after-statement -Wold-style-definition -fno-builtin-strlen -finline-limit=0 -fomit-frame-pointer -ffunction-sections -fdata-sections -fno-guess-branch-probability -funsigned-char -static-libgcc -falign-functions=1 -falign-jumps=1 -falign-labels=1 -falign-loops=1 -fno-unwind-tables -fno-asynchronous-unwind-tables -fno-builtin-printf -Os -D"KBUILD_STR(s)=#s" -D"KBUILD_BASENAME=KBUILD_STR(ash)" -D"KBUILD_MODNAME=KBUILD_STR(ash)" -c -o shell/ash.o shell/ash.c + * + */ + +#if 0 + +static int +evalcommand(union node *cmd, int flags) +{ + static const struct builtincmd null_bltin = { + "\0\0", bltincmd /* why three NULs? */ + }; + + union node *argp; + struct arglist arglist; + char **argv; + int argc; + const struct strlist *sp; + struct cmdentry cmdentry; + const char *path; + char **nargv; + + + /* First expand the arguments. */ + + cmdentry.cmdtype = CMDBUILTIN; + cmdentry.u.cmd = &null_bltin; + arglist.lastp = &arglist.list; + *arglist.lastp = NULL; + + argc = 0; + if (cmd->ncmd.args) { + smallint pseudovarflag; + + for (argp = cmd->ncmd.args; argp; argp = argp->narg.next) { + struct strlist **spp; + + spp = arglist.lastp; + if (pseudovarflag) + expandarg(argp, &arglist, EXP_VARTILDE); + + for (sp = *spp; sp; sp = sp->next) + argc++; + } + } + + /* Reserve one extra spot at the front for shellexec. */ + nargv = NULL;//stalloc(sizeof(char *) * (argc + 2)); + argv = ++nargv; + *nargv = NULL; + + + + + path = vpath.var_text; + + /* Now locate the command. */ + + for (;;) { + find_command(argv[0], &cmdentry, DO_ERR, path); + +#if ENABLE_ASH_CMDCMD + if (cmdentry.u.cmd == COMMANDCMD) { + nargv = parse_command_args(argv, &path); + break; + + } else +#endif + break; + } + + + + return 0; + +} + +#endif + + +static int __attribute__ ((naked)) evalcommand(void /*union node*/ *cmd, int flags) +{ + + /* + 138ac: e92d401f push {r0, r1, r2, r3, r4, lr} + 138b0: e3a03002 mov r3, #2 + 138b4: e58d3008 str r3, [sp, #8] + 138b8: e59f30b8 ldr r3, [pc, #184] ; 13978 <evalcommand+0xcc> + 138bc: e58dd004 str sp, [sp, #4] + 138c0: e58d300c str r3, [sp, #12] + 138c4: e3a03000 mov r3, #0 + 138c8: e58d3000 str r3, [sp] + 138cc: e590300c ldr r3, [r0, #12] + 138d0: e3530000 cmp r3, #0 + 138d4: 1a00000d bne 13910 <evalcommand+0x64> + 138d8: e3a00000 mov r0, #0 + 138dc: e59f3098 ldr r3, [pc, #152] ; 1397c <evalcommand+0xd0> + 138e0: e5800004 str r0, [r0, #4] + 138e4: e5933000 ldr r3, [r3] + 138e8: e3a02001 mov r2, #1 + 138ec: e59330f0 ldr r3, [r3, #240] ; 0xf0 + 138f0: e28d1008 add r1, sp, #8 + 138f4: ebfffe71 bl 132c0 <find_command> + 138f8: e59d200c ldr r2, [sp, #12] + 138fc: e59f307c ldr r3, [pc, #124] ; 13980 <evalcommand+0xd4> + 13900: e1520003 cmp r2, r3 + 13904: 1a000018 bne 1396c <evalcommand+0xc0> + 13908: e3a01004 mov r1, #4 + 1390c: ea00000f b 13950 <evalcommand+0xa4> + 13910: e5933004 ldr r3, [r3, #4] + 13914: eaffffed b 138d0 <evalcommand+0x24> + 13918: e5d23000 ldrb r3, [r2] + 1391c: e353002d cmp r3, #45 ; 0x2d + 13920: 1a000011 bne 1396c <evalcommand+0xc0> + 13924: e5d23001 ldrb r3, [r2, #1] + 13928: e2820002 add r0, r2, #2 + 1392c: e3530000 cmp r3, #0 + 13930: 0a00000d beq 1396c <evalcommand+0xc0> + 13934: e353002d cmp r3, #45 ; 0x2d + 13938: 0a000008 beq 13960 <evalcommand+0xb4> + 1393c: e3530070 cmp r3, #112 ; 0x70 + 13940: 1a000009 bne 1396c <evalcommand+0xc0> + 13944: e4d03001 ldrb r3, [r0], #1 + 13948: e3530000 cmp r3, #0 + 1394c: 1afffffa bne 1393c <evalcommand+0x90> + 13950: e5b12004 ldr r2, [r1, #4]! + 13954: e3520000 cmp r2, #0 + 13958: 0a000003 beq 1396c <evalcommand+0xc0> + 1395c: eaffffed b 13918 <evalcommand+0x6c> + 13960: e5d22002 ldrb r2, [r2, #2] + 13964: e3520000 cmp r2, #0 + 13968: 1afffff3 bne 1393c <evalcommand+0x90> + 1396c: e3a00000 mov r0, #0 + 13970: e28dd014 add sp, sp, #20 + 13974: e49df004 pop {pc} ; (ldr pc, [sp], #4) + 13978: 00017fa4 .word 0x00017fa4 + 1397c: 000213f4 .word 0x000213f4 + 13980: 00017e60 .word 0x00017e60 + */ + + +asm ( + + "push {r0, r1, r2, r3, r4, lr}" "\n" + "mov r3, #2" "\n" + "str r3, [sp, #8]" "\n" + "ldr r3, [pc, #184]" "\n" + "str sp, [sp, #4]" "\n" + "str r3, [sp, #12]" "\n" + "mov r3, #0" "\n" + "str r3, [sp]" "\n" + "ldr r3, [r0, #12]" "\n" + + ".Lbl_138d0%=:" "\n" + + "cmp r3, #0" "\n" + "bne .Lbl_13910%=" "\n" + + "mov r0, #0" "\n" + "ldr r3, [pc, #152]" "\n" + "str r0, [r0, #4]" "\n" + "ldr r3, [r3]" "\n" + "mov r2, #1" "\n" + "ldr r3, [r3, #240]" "\n" + "add r1, sp, #8" "\n" + "bl .Lbl_find%=" "\n" /* <find_command> */ + "ldr r2, [sp, #12]" "\n" + "ldr r3, [pc, #124]" "\n" + "cmp r2, r3" "\n" + "bne .Lbl_1396c%=" "\n" + + "mov r1, #4" "\n" + "b .Lbl_13950%=" "\n" + + ".Lbl_13910%=:" "\n" + + "ldr r3, [r3, #4]" "\n" + "b .Lbl_138d0%=" "\n" + + ".Lbl_13918%=:" "\n" + + "ldrb r3, [r2]" "\n" + "cmp r3, #45" "\n" + "bne .Lbl_1396c%=" "\n" + + "ldrb r3, [r2, #1]" "\n" + "add r0, r2, #2" "\n" + "cmp r3, #0" "\n" + "beq .Lbl_1396c%=" "\n" + + "cmp r3, #45" "\n" + "beq .Lbl_13960%=" "\n" + + ".Lbl_1393c%=:" "\n" + + "cmp r3, #112" "\n" + "bne .Lbl_1396c%=" "\n" + + "ldrb r3, [r0], #1" "\n" + "cmp r3, #0" "\n" + "bne .Lbl_1393c%=" "\n" + + ".Lbl_13950%=:" "\n" + + "ldr r2, [r1, #4]!" "\n" + "cmp r2, #0" "\n" + "beq .Lbl_1396c%=" "\n" + "b .Lbl_13918%=" "\n" + + ".Lbl_13960%=:" "\n" + + "ldrb r2, [r2, #2]" "\n" + "cmp r2, #0" "\n" + "bne .Lbl_1393c%=" "\n" + + ".Lbl_1396c%=:" "\n" + + "mov r0, #0" "\n" + "add sp, sp, #20" "\n" + "pop {pc}" "\n" + + ".word 0x00017fa4" "\n" + ".word 0x000213f4" "\n" + ".word 0x00017e60" "\n" + + ".Lbl_find%=:" "\n" + + ::"r" (cmd, flags)); + +} + +int main(int argc, char **argv) +{ + return evalcommand((void *)0, 0); + +} |