XeLabs/awesome-symbolic-execution
2
0
Fork 0
mirror of https://github.com/ksluckow/awesome-symbolic-execution.git synced 2026-06-21 00:46:52 +08:00
Code Issues Projects Releases Wiki Activity

Update README.md

Browse source
This commit is contained in:
Michael Rodler 2018-08-13 07:34:39 +02:00 committed by GitHub
parent 74bcaba494
commit 0fb2bbbf41
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -102,7 +102,7 @@
* [BAP](https://github.com/BinaryAnalysisPlatform/bap) - Binary Analysis Platform provides a framework for writing program analysis tools.
* [angr](http://angr.io/) - Python framework for analyzing binaries. Includes a symbolic execution tool.
* [Triton](https://triton.quarkslab.com/) - Dynamic binary analysis platform that includes a dynamic symbolic execution tool.
* [manticore](https://github.com/trailofbits/manticore) - symbolic execution tool for binaries (x86, x86_64 and ARMV7) and Ethereum smart contract bytecode
* [manticore](https://github.com/trailofbits/manticore) - Symbolic execution tool for binaries (x86, x86_64 and ARMV7) and Ethereum smart contract bytecode.
### Misc