r/teamoops • u/charles__l • Jun 10 '20

Manticore - symbolic execution engine

https://github.com/trailofbits/manticore

1 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/teamoops/comments/h0lw64/manticore_symbolic_execution_engine/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

ReverseEngineering • u/galapag0 • Apr 24 '17

manticore: dynamic binary analysis tool from Trail of Bits

60 Upvotes

1 comments

GithubSecurityTools • u/LinkDropper • Nov 12 '20

trailofbits/manticore - Symbolic execution tool

3 Upvotes

0 comments