Showing 5 of 5 projects
A high-performance theorem prover and satisfiability modulo theories (SMT) solver from Microsoft Research.
A platform-agnostic binary analysis framework for disassembly, symbolic execution, and program analysis.
A symbolic-execution-based security analysis tool for detecting vulnerabilities in Ethereum and EVM-compatible smart contracts.
A dynamic binary analysis library for building program analysis tools, automating reverse engineering, and emulating code.
A suite of utilities and libraries for analyzing binary programs, supporting multiple architectures and offering symbolic execution.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.