Peter Goodman 284ef26018 Issue 50 ida get cfg (#67) ...

* Starting work on Issue #50, implementing an IDA Python script for producing a CFG file. The approach taken is to fill in a generic data structure, and some other code will deal with the production of the CFG structure itself. This will enable moving beyond the protobuf format. The script can be used via remill--disass. Eventually Binary Ninja will support a batch mode, and I will work it into remill-disass when that happens.

* remill-disass can now be installed and executed directly. There were some issues with the PYTHONPATH but I think those are resolved.

* Added in command-line flag to change the log level.

* Added conditions to prevent non-termination, especially in the presence of noreturn calls.

* Try to fix travis

* remill-disass seems to work reasonably well now.

2016-11-01 18:00:42 -04:00

..

travis

Issue 50 ida get cfg (#67)

2016-11-01 18:00:42 -04:00

unix

Issue 50 ida get cfg (#67)

2016-11-01 18:00:42 -04:00

x86

Attempted rebase against master with a bit of restructuring of the MMX semantics

2016-10-18 17:23:57 -04:00

__init__.py

Added Interrupt structure to State structure for x86. It's not an ideal way of configuring interrupts, but it currently seems like the only way to handle conditional interrupts, e.g. via BOUND or INTO. I might need something similar for SYSCALL vs. SYSENTER. Split the build script out into a build script and a build system. Made it so that the IDA script splits interrupts off into their own blocks. This is so that we can restart interrupts by jumping back to the blocks associated with the address of the instruction. Moving the tools stuff out into its own repo as it complicates things to have it in the source.

2016-01-27 14:25:52 -05:00