Manzano - A tool for the Symbolic Execution of Linux binaries

Recommended Posts

Posted October 31, 2013

About Symbolic Execution

? Dynamically explore all program branches.

? Inputs are considered symbolic variables.

? Symbols remain uninstantiated and become

constrained at execution time.

? At a conditional branch operating on

symbolic terms, the execution is forked.

? Each feasible branch is taken, and the

appropriate constraints logged.

Download:

http://ekoparty.org/archive/2013/charlas/Manzano.pdf

You can post now and register later. If you have an account, sign in now to post with your account.

Reply to this topic...

Only 75 emoji are allowed.

× Your link has been automatically embedded. Display as a link instead

× Your previous content has been restored. Clear editor

× You cannot paste images directly. Upload or insert images from URL.