/symtropy

Technique to estimate the entropy of programs using symbolic execution. Subject of my MS thesis.

Primary LanguagePython

Identifying Program Entropy Characteristics with Symbolic Execution

Here's my thesis!

Run ./experiment to compile the test binaries, make a new virtualenv, install angr, and run the analysis (analysis.py) on them.