Symbolic Execution
Browse 0 cybersecurity solutions, with 0 security professionals searching monthly
FEATURED
Automated binary vulnerability analysis without source code for IT and OT/ICS.
AI-driven automated security testing using fuzzing and symbolic execution
OneGadget is a CTF-focused tool that uses symbolic execution to find RCE gadgets in binaries that can execute shell commands through execve('/bin/sh', NULL, NULL).
angr is a Python-based binary analysis framework that provides disassembly, symbolic execution, and program analysis capabilities for cross-platform binary examination.
ConDroid is a concolic execution framework for Android applications that automates dynamic analysis by driving execution to specific code locations without manual interaction.
Dynamic binary analysis library with various analysis and emulation capabilities.
