Symbolic Execution
Symbolic Execution groups the cybersecurity tools focused on symbolic execution, pulled from across every category so you can compare every option in one place. Filter by category or pricing to narrow the field. Independent and vendor-neutral: we never sell rankings.
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.
