Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pypi.org "symbolic execution" keyword

angr-zelos-target 0.0.1

Zelos target for angr / symbion concrete execution.
1 version - Latest release: about 4 years ago - 14 downloads last month - 1 maintainer

miasm 0.1.5

Machine code manipulation library
4 versions - Latest release: about 1 year ago - 4 dependent repositories - 298 downloads last month - 3,373 stars on GitHub - 1 maintainer

Related Keywords

emulation 1 dynamic analysis 1 binary analysis 1 reverse engineering 1 disassembler 1 emulator 1 intermediate representation 1 assembler 1 hacktoberfest 1 intermediate-representation 1 python 1 reverse-engineering 1 symbolic-execution 1