Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ercoppa

A curated list of projects in awesome lists by ercoppa .

https://github.com/ercoppa/symbolic-execution-tutorial

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

angr binary lecture-notes slides symbolic-execution testing tutorial

Last synced: 18 Nov 2024