demovfuscator icon indicating copy to clipboard operation
demovfuscator copied to clipboard

Published 20 hours ago • verified publisher icon kirschju

arch linux runtime error

Open Neroli-realy opened this issue 5 years ago • 4 comments

i have downloaded and installed the libraries capstone keystone z3

babyc file https://0xd13a.github.io/ctfs/asis2018/babyc/babyc.tar.xz and got this error when trying ./demov -o patched babyc :

possibly movfuscated Relocations: strncmp at 804d01c sigaction at 804d018 exit at 804d014 read at 804d00c puts at 804d010 Segments: 8048000 - 804bc98 : R X 804cf58 - 85f62ec : RW 85f62ec - 87f6300 : RW The entry point is 804829c parsing entry dispatcher at 0x8048290 master_loop is at 0x8048317 sel_on is at 83f6150 on is at 83f6158 alu_x@81f5ff0 alu_y@0 demov_equal@0x8050600 demov_SYM_ALU_INV16@0x8161050 demov_SYM_ALU_FALSE@0x804d310 demov_SYM_ALU_B7@0x804f190 demov_SYM_ALU_TRUE@0x804d100 demov_SYM_ALU_MUL_SUMS@0x81f5b70 reached end SYM_SEL_DATA@0x83f6170 : 0xb2 SYM_ON@0x83f6158 : 0x75 SYM_DATA@0x83f6174 : 0xb2 discard at 85f6300 demov_bool_and: 27 demov_SYM_ALU_TRUE: 24 demov_SYM_ALU_FALSE: 18 demov_SYM_ALU_B7: 24 demov_equal: 28 demov_add: 92 demov_SYM_ALU_INV16: 12 demov_SYM_ALU_MUL_SUMS: 3 demov_sel_on: 17 analysing binary Hit limit looking for 0x83f6150 Hit limit looking for 0x83f615c [83f615c] Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6168 Hit limit looking for 0x83f6168 Hit limit looking for 0x83f6168 Hit limit looking for 0x83f6168 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804d310 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6170 Hit limit looking for 0x81f5b70 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804d310 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x81f5b70 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804d310 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x81f5b70 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804d310 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804d310 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804f190 Hit limit looking for 0x804d310 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x8060f30 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x85f61c8 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x8050600 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x804d0a0 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6160 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6170 Hit limit looking for 0x83f6150 reached end target register: 83f6168 second pass: third pass: Basic blocks: demov: node.cpp:76: void node::merge(): Assertion n != nodes.end()' failed. Aborted `

and this show when try ldd ./demov :

linux-vdso.so.1 (0x00007ffc767eb000) libcapstone.so.4 => /usr/lib/libcapstone.so.4 (0x00007f1c31fa8000) libkeystone.so.0 => /usr/lib/libkeystone.so.0 (0x00007f1c31717000) libz3.so.4.8 => /usr/lib/libz3.so.4.8 (0x00007f1c301bb000) libssl.so.1.1 => /usr/lib/libssl.so.1.1 (0x00007f1c3012b000) libcrypto.so.1.1 => /usr/lib/libcrypto.so.1.1 (0x00007f1c2fe57000) libstdc++.so.6 => /usr/lib/libstdc++.so.6 (0x00007f1c2fc6f000) libm.so.6 => /usr/lib/libm.so.6 (0x00007f1c2fb27000) libgcc_s.so.1 => /usr/lib/libgcc_s.so.1 (0x00007f1c2fb0d000) libc.so.6 => /usr/lib/libc.so.6 (0x00007f1c2f94a000) libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007f1c2f8b6000) libpthread.so.0 => /usr/lib/libpthread.so.0 (0x00007f1c2f895000) libgomp.so.1 => /usr/lib/libgomp.so.1 (0x00007f1c2f85c000) /lib64/ld-linux-x86-64.so.2 => /usr/lib64/ld-linux-x86-64.so.2 (0x00007f1c324e4000) libdl.so.2 => /usr/lib/libdl.so.2 (0x00007f1c2f855000)

Neroli-realy avatar Sep 03 '19 18:09 Neroli-realy

I have exactly the same issues on Arch Linux (used the same binary for better comparison even though the issue is the same for all movfuscated binaries that i have tried it with).

Here is the same ouput as above but from my machine and formatted a little nicer ;)

possibly movfuscated
Relocations:
strncmp at 804d01c
sigaction at 804d018
exit at 804d014
puts at 804d010
read at 804d00c
Segments:
8048000 - 804bc98 : R X
804cf58 - 85f62ec : RW 
85f62ec - 87f6300 : RW 
The entry point is 804829c
parsing entry
dispatcher at 0x8048290
master_loop is at 0x8048317
sel_on is at 83f6150
on is at 83f6158
alu_x@81f5ff0
alu_y@0
demov_equal@0x8050600
demov_SYM_ALU_INV16@0x8161050
demov_SYM_ALU_FALSE@0x804d310
demov_SYM_ALU_B7@0x804f190
demov_SYM_ALU_TRUE@0x804d100
demov_SYM_ALU_MUL_SUMS@0x81f5b70
reached end
SYM_SEL_DATA@0x83f6170 : 0xb2
SYM_ON@0x83f6158 : 0x75
SYM_DATA@0x83f6174 : 0xb2
discard at 85f6300
demov_bool_and: 27
demov_SYM_ALU_TRUE: 24
demov_SYM_ALU_FALSE: 18
demov_SYM_ALU_B7: 24
demov_equal: 28
demov_add: 92
demov_SYM_ALU_INV16: 12
demov_SYM_ALU_MUL_SUMS: 3
demov_sel_on: 17
analysing binary
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f615c
[83f615c]
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6168
Hit limit looking for 0x83f6168
Hit limit looking for 0x83f6168
Hit limit looking for 0x83f6168
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804d310
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6170
Hit limit looking for 0x81f5b70
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804d310
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x81f5b70
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804d310
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x81f5b70
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804d310
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804d310
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804f190
Hit limit looking for 0x804d310
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x8060f30
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x85f61c8
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x8050600
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x804d0a0
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6160
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6170
Hit limit looking for 0x83f6150
reached end
target register: 83f6168
second pass:
third pass:
Basic blocks:
demov: node.cpp:76: void node::merge(): Assertion `n != nodes.end()' failed.

Obviously all dependencies (capstone, keystone, z3) have been installed beforehand.

Another note: In order for demov to compile I had to add #include <string> to memhlp.hpp file.

EDIT: Issue #20 appears to be the same issue allthough it was never really solved

theguy147 avatar Jun 14 '20 11:06 theguy147

I am having the same issue, were you ever able to resolve this?

jakecrowley avatar Aug 20 '20 01:08 jakecrowley

At least I did not solve it on Arch Linux. But if I recall correctly I did just try and use a ubuntu or debian VM whenever possible for the demovfuscation then...

theguy147 avatar Aug 20 '20 11:08 theguy147

Hmm, I tried it on both ubuntu and kali (which is debian based), and got the same assertion error. Thanks for your input, though!

jakecrowley avatar Aug 20 '20 23:08 jakecrowley