From 0fb2bbbf4131e877287c07a7bf7e8dbb85a79d1e Mon Sep 17 00:00:00 2001 From: Michael Rodler Date: Mon, 13 Aug 2018 07:34:39 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 287f6f2..710aae6 100644 --- a/README.md +++ b/README.md @@ -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