degrigis/symbion-use-cases

Stars
14
Rank 1,430,460 (Top 29 %)
Language
Python
Created over 4 years ago
Updated over 2 years ago

degrigis/symbion-use-cases

degrigis

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution

awesome-angr

A collection of resources/tools and analyses for the angr binary analysis framework.

ethdbg

A CLI debugger for the EVM

pwnkit

pwncheat