Peter Goodman 2d55d02cc3 API improvements. Must be used with the api_improvements branches of Remill and Anvill (#666) ...

* API improvements. Must be used with the api_improvements branch of both Remill and McSema

fixes for x86 and running the lifted code with klee

* Update dockerfile to clone anvill

* update remill commit id

* Add python3 to dockerfile

* update python3

* disable abi script

* Updated cmake to find anvill

* Update main.cpp

* update find_package for anvill

* WIP:updated prebuild cfg

* update prebuild cfg files

* enable abi build for testsuite

* Fix memory leak

* install missing package for testcases

* frontend: Reflect cfg file changes in dyninst frontend.

* frontend: Update local files copyrights to reflect overall change to agplv3.

* fix failing testcases

* update test cfgs

* Fix test failure with local state pointer

* set the flag to use local state_ptr in default mode

Co-authored-by: kumarak <iit.akshay@gmail.com>
Co-authored-by: Lukas Korencik <xkorenc1@fi.muni.cz>

2020-07-23 02:14:56 -04:00

..

.gitignore

Initial attempt at running Binary Ninja in CI instances (#489)

2018-11-01 14:16:06 -04:00

docker-lifter-entrypoint.sh

API improvements. Must be used with the api_improvements branches of Remill and Anvill (#666)

2020-07-23 02:14:56 -04:00

lift_directory.py

API improvements. Must be used with the api_improvements branches of Remill and Anvill (#666)

2020-07-23 02:14:56 -04:00

lift_program.py

API improvements. Must be used with the api_improvements branches of Remill and Anvill (#666)

2020-07-23 02:14:56 -04:00

mcsema_binja.tar.gz.enc

Initial attempt at running Binary Ninja in CI instances (#489)

2018-11-01 14:16:06 -04:00

travis.sh

API improvements. Must be used with the api_improvements branches of Remill and Anvill (#666)

2020-07-23 02:14:56 -04:00

update_binja.py

Initial attempt at running Binary Ninja in CI instances (#489)

2018-11-01 14:16:06 -04:00