Peter Goodman ee87b84d5e Made is to that the memory intrinsics always read/write byval as opposed to byref for vectors.

2016-02-03 13:32:57 -05: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

bootstrap.sh

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

build.py

Tried to clean up a bit of code. Maybe didn't success so much. Added the beginnings of a data-flow analysis pass. It very aggressively marks condition codes as dead. Next step is to augment it to handle registers.

2016-02-02 22:46:23 -05:00

buildsystem.py

Made is to that the memory intrinsics always read/write byval as opposed to byref for vectors.

2016-02-03 13:32:57 -05:00

compile_semantics.sh

Made is to that the memory intrinsics always read/write byval as opposed to byref for vectors.

2016-02-03 13:32:57 -05:00

ida_get_cfg.py

Tried to clean up a bit of code. Maybe didn't success so much. Added the beginnings of a data-flow analysis pass. It very aggressively marks condition codes as dead. Next step is to augment it to handle registers.

2016-02-02 22:46:23 -05:00

ida_get_cfg.sh

Tried to clean up a bit of code. Maybe didn't success so much. Added the beginnings of a data-flow analysis pass. It very aggressively marks condition codes as dead. Next step is to augment it to handle registers.

2016-02-02 22:46:23 -05:00

install.sh

More ida testing

2016-01-28 11:48:22 -05:00

optimize_bitcode.sh

Improved flags analysis. Move the undefined optimization out into the plugin. Still have an issue where dead-store elimination is not happening :-(

2016-02-03 12:24:34 -05:00

print_x86_save_state_asm.sh

Massive changes to start supporting test cases.

2015-12-11 23:41:04 -05:00

run_tests_x86.sh

Implemented inline deferral optimization. Enabled the optimization on the test case builds. Modified cmake to explicitly include LLVM; hopefully that works on macs.

2015-12-17 19:11:02 -05:00