Artem Dinaburg 4aea5a8f2a Add LLVM11 to CI, remove ubuntu 1910 (#453) ...

* Add LLVM11 to CI, remove ubuntu 1910
* LLVM11 Compatibility fixes
* Bump LLVM version in scripts

2020-10-27 14:01:20 -04:00

..

aarch64

Aarch64 tester (#128)

2017-08-04 15:24:46 -04:00

x86

Aarch64 tester (#128)

2017-08-04 15:24:46 -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

build_klee.sh

Adds in missing options to klee cmake invocation.

2018-01-20 00:53:59 -05:00

build.sh

Add LLVM11 to CI, remove ubuntu 1910 (#453)

2020-10-27 14:01:20 -04:00

docker-lifter-entrypoint.sh

Add LLVM11 to CI, remove ubuntu 1910 (#453)

2020-10-27 14:01:20 -04:00

emit-artifact.sh

Mark emit-artifact as executable

2020-08-07 17:09:38 -04:00

format-added-files

Running clang-format on files with some additional custom scripts for… (#444)

2020-08-05 15:42:25 -04:00

format-files

Running clang-format on files with some additional custom scripts for… (#444)

2020-08-05 15:42:25 -04:00

setup.sh

Fix to script calling wrong function.

2018-05-07 15:10:51 -04:00

travis.bat

CMake improvements and refactor of __remill_basic_block (#447)

2020-09-17 01:55:25 -04:00

travis.sh

Re-do github actions for dockerized cxx-common (#413)

2020-05-05 11:50:21 -04:00