Can you recommend me a, if possible, pure Python symbolic execution engine? It seems there is a gazillion of them!
-
-
Replying to @matalaz
Something like https://github.com/trailofbits/manticore … ? /cc
@dguido2 replies 0 retweets 3 likes -
Worth taking a look. Thank you!
1 reply 0 retweets 1 like
Manticore has few dependencies, an easy learning curve, and it's actively supported by Trail of Bits. IMHO a good choice :-).
7:47 AM - 11 Jun 2017
0 replies
0 retweets
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.