Peter Goodman a093a82ef9 Merge branch 'master' of github.com:trailofbits/deepstate

2017-11-02 00:54:22 -04:00

bin

Adds some error checking around finding important symbols and initializing Manticore/Angr. Adds the ability to save concretized bytes to an output directory. For the time being, I'm going with the approach of the user specifying a output dir, then within that I create directories for each file basename in the tests, and subdirectories for each test name, and in there I put binary test files.

2017-11-02 00:54:18 -04:00

examples

Fixes issue where the angr script printed out the wrong symbol bytes.

2017-11-01 21:27:08 -04:00

src

Merge branch 'master' of github.com:trailofbits/deepstate

2017-11-02 00:54:22 -04:00

CMakeLists.txt

Allow for a user only install if CMAKE_INSTALL_PREFIX is set

2017-11-01 22:59:04 -04:00

LICENSE

Initial commit.

2017-10-27 16:34:58 -04:00

Description

No description provided

Apache-2.0 956 KiB

Languages

Python 46%

C 41.3%

C++ 8.2%

CMake 2.2%

Dockerfile 1.4%

Other 0.9%