Artem Dinaburg 373441fb9f Allow for a user only install if CMAKE_INSTALL_PREFIX is set

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

bin

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

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

examples

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

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

src

Fixes to stream formatting of doubles, they weren't being streamed before. Implemented the chk versions of printf and such, so that they all route through the logging interface as well. Implemented the concretization APIs.

2017-11-01 17:56:54 -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%