Manticore: Symbolic execution for humans | Trail of Bits Blog - discu.eu

Reddit

Manticore: Symbolic execution for humans https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/ 2 comments 27/4/2017 netsec

Linking pages

Rust testing or verifying: Why not both? – Alastair Reid – Researcher at Intel https://alastairreid.github.io/why-not-both/ 36 comments

Linked pages

A fuzzer and a symbolic executor walk into a cloud | Trail of Bits Blog https://blog.trailofbits.com/2016/08/02/engineering-solutions-to-hard-program-analysis-problems/ 0 comments
GitHub - trailofbits/manticore: Symbolic execution tool https://github.com/trailofbits/manticore/ 0 comments

Related searches:

Search whole site: site:blog.trailofbits.com

Search title: Manticore: Symbolic execution for humans | Trail of Bits Blog

See how to search.

Submit link to: