symbolic-execution

3 tools and resources

NEW

Triton Logo

Triton

0 (0)

Dynamic binary analysis library with various analysis and emulation capabilities.

angr Logo

angr

0 (0)

angr is a Python 3 library for binary analysis with various capabilities like symbolic execution and decompilation.

Find RCE gadgets for CTF pwn challenges with ease.