16 Forks
109 Stars
109 Watchers

symbolic-execution-tutorial

Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.

How to download and setup symbolic-execution-tutorial

Open terminal and run command
git clone https://github.com/ercoppa/symbolic-execution-tutorial.git
git clone is used to create a copy or clone of symbolic-execution-tutorial repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with symbolic-execution-tutorial https://github.com/ercoppa/symbolic-execution-tutorial/archive/master.zip

Or simply clone symbolic-execution-tutorial with SSH
[email protected]:ercoppa/symbolic-execution-tutorial.git

If you have some problems with symbolic-execution-tutorial

You may open issue on symbolic-execution-tutorial support forum (system) here: https://github.com/ercoppa/symbolic-execution-tutorial/issues