Peter Goodman 5cc7e92d06 Testcases should work on Mac now.

2016-01-20 13:06:05 -05:00

..

bootstrap.sh

Compiling is working on Linux.

2016-01-17 20:47:23 -05:00

build.py

Testcases should work on Mac now.

2016-01-20 13:06:05 -05:00

check.sh

Added scripts/check.sh to run the clang static analyzer on the code (I think). Added an untested implementation of SHR.

2015-12-28 18:39:58 -05:00

compile_semantics.sh

Added testcases for BTS. Cleaned up a bit of code. Made it so that --bc_in is now required, so that the initial value must always be a semantics file. Added source/target OS. Target OS (--os_out) and target arch (--arch_out) compile to decide what DataLayout / target triple to use. Removing uses of flags strings in favor of enumeration constants. Not exactly happy with the current interfaces to Arch, but it works for now so oh well.

2016-01-19 19:36:20 -05:00

ida_get_cfg.py

Made the lifter ignore NOPs. Fixed handling of passing vector registers by value; I used the wrong XED API function to determine the register class of a particular register. Modified the implementation of LEA to use the A accessor, which is the canonical way of finding the address of a memory operand. Fixed a minor bug in the IDA script by disabling an assertion.

2016-01-13 11:49:48 -05:00

ida_get_cfg.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

optimize_bitcode.sh

Compiling is working on Linux.

2016-01-17 20:47:23 -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