Showing 3 of 3 projects
A high-performance theorem prover and satisfiability modulo theories (SMT) solver from Microsoft Research.
A dynamic binary analysis library for building program analysis tools, automating reverse engineering, and emulating code.
A multiplatform open-source framework for binary analysis and reverse engineering, supporting x86 and ARM architectures.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.