DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Note angr is preferred for now.

Browse Source
This commit is contained in:
Alex Groce
2018-07-13 13:23:37 -07:00
committed by GitHub
parent cd42127d6a
commit 4350815394
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+3 -1
View File
@@ -87,7 +87,9 @@ $ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples
## Usage
DeepState consists of a static library, used to write test harnesses, and command-line _executors_ written in Python. At this time, the best documentation are the [examples](/examples) and our [paper](https://agroce.github.io/bar18.pdf).
DeepState consists of a static library, used to write test harnesses, and command-line _executors_ written in Python. At this time, the best documentation is in the [examples](/examples) and in our [paper](https://agroce.github.io/bar18.pdf).
DeepState is currently more stable (and faster) when using angr as a backend than when using manticore.
## Contributing