search

angr / vex

A patched version of VEX to work with PyVEX.
GNU General Public License v2.0
104 stars 44 forks source link

Failling assertion, then segfault #3

Closed jvoisin closed 7 years ago

jvoisin commented 7 years ago 
jvoisin@mim 14:52 ~/Downloads python
Python 2.7.12 (default, Jul  1 2016, 15:12:24) 
[GCC 5.4.0 20160609] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> import angr
>>> proj = angr.Project('carm-cke')
WARNING | 2016-11-16 14:58:38,057 | cle.relocations | Unknown reloc 160 on ARMEL
>>> cfg = proj.analyses.CFG()
WARNING | 2016-11-16 14:58:43,190 | angr.analyses.cfg_fast | "auto_load_libs" is enabled. With libraries loaded in project, CFGFast will cover libraries, which may take significantly more time than expected. You may reload the binary with "auto_load_libs" disabled, or specify "start" and "end" paramenters to limit the scope of CFG recovery.
WARNING | 2016-11-16 14:58:51,523 | simuvex.s_run | Too many possible syscalls. Concretizing to 1.

vex: priv/guest_arm_toIR.c:14656 (disInstr_ARM_WRK): Assertion `0 == (guest_R15_curr_instr_notENC & 3)' failed.
Traceback:
zsh: segmentation fault (core dumped)  python
jvoisin@mim 15:00 ~/Downloads

The file being carm-cke.zip

zardus commented 7 years ago

Oooh, interesting. Could you check what module the segfault occurs in (dmesg should tell you)?

rhelmot commented 7 years ago

(this should be resolved given our changes to how we handle vex exceptions)