|
|
C++ |
463 |
Open-source symbolic execution framework: https://maat.re |
Aug 09, 2022 |
|
|
C# |
49 |
Symbolica's open-source symbolic execution engine. |
Jun 06, 2022 |
|
|
Haskell |
177 |
The symbolic execution engine powering the K Framework |
Aug 21, 2022 |
|
|
Python |
6 |
Symbolic execution tool |
May 10, 2022 |
|
|
Python |
3073 |
Symbolic execution tool |
Sep 01, 2022 |
|
|
Python |
2 |
Symbolic execution tool |
Oct 19, 2021 |
|
|
Rust |
2 |
A combined disassembler/static analysis/symbolic execution/debugger framework. |
Oct 21, 2023 |
|
|
C++ |
21 |
Lightweight Symbolic Execution Engine |
Jul 30, 2022 |
|
|
C |
24 |
TRACER Symbolic Execution Tool |
Oct 13, 2022 |
|
|
C++ |
55 |
KLEE Symbolic Execution Engine |
Jul 14, 2022 |
|
|
C++ |
4 |
KLEE Symbolic Execution Engine |
Mar 30, 2023 |
|
|
Go |
3 |
Quiver-Based Symbolic Execution |
Apr 24, 2023 |
|
|
C++ |
10 |
Symbolic Execution for WebAssembly |
Jan 28, 2023 |
|
|
C++ |
2231 |
KLEE Symbolic Execution Engine |
May 24, 2023 |
|
|
Kotlin |
4 |
A symbolic execution analysis based on the Soot analysis framework. |
Nov 26, 2023 |
|
|
C# |
26 |
Symbolic Execution Engine for Boogie |
Sep 29, 2022 |
|
|
Rust |
325 |
symbolic execution engine for Rust |
May 26, 2023 |
|
|
C# |
20 |
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation |
Aug 26, 2021 |
|
|
Rust |
260 |
radius2 is a fast binary emulation and symbolic execution framework using radare2 |
Aug 05, 2022 |
|
|
Rust |
28 |
radius is a fast binary emulation and symbolic execution framework using radare2 |
Apr 11, 2023 |
|
|
C++ |
6 |
Symbolic Execution Tool based on CBMC |
Mar 02, 2022 |
|
|
C++ |
7 |
SymCC: efficient compiler-based symbolic execution |
Apr 26, 2022 |
|
|
C |
2 |
Driller: augmenting AFL with symbolic execution! |
Dec 02, 2022 |
|
|
Python |
15 |
Underconstrained symbolic execution for cryptography verification |
Feb 25, 2022 |
|
|
Racket |
3 |
Library for common symbolic execution utilities |
Sep 15, 2022 |
|
|
Racket |
42 |
A Symbolic Execution Tool for Cairo |
Mar 23, 2023 |
|
|
C++ |
641 |
SymCC: efficient compiler-based symbolic execution |
May 11, 2023 |
|
|
Python |
40 |
Symbolic execution in radare2 with angr |
Aug 26, 2022 |
|
|
F# |
37 |
Symbolic execution engine for .NET Core |
May 05, 2023 |
|
|
Python |
814 |
Driller: augmenting AFL with symbolic execution! |
May 13, 2023 |
|
|
Python |
164 |
symbolic execution plugin for binary ninja |
May 23, 2023 |
|
|
C++ |
3 |
Symbolic Execution of SystemC TLM Peripherals |
Jun 27, 2023 |
|
|
None |
2 |
Symbolic Execution Limitations - Systematic Literature Review |
Jul 18, 2023 |
|
|
C |
10 |
A test case generator for C source code using Memorized Symbolic Execution |
Mar 12, 2023 |
|
|
TeX |
5 |
Formal model of program execution, symbolic execution, and taint tracking |
Dec 18, 2020 |
|
|
Python |
136 |
A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language) |
Jul 18, 2022 |
|
|
C |
5 |
Lua interpreter modded to support symbolic execution |
Mar 23, 2019 |
|
|
Rust |
33 |
Symbolic execution tool for Sail ISA specifications |
Apr 23, 2023 |
|
|
Go |
2 |
A small RISC-V symbolic execution engine |
Apr 13, 2022 |
|
|
C |
244 |
SymQEMU: Compilation-based symbolic execution for binaries |
May 11, 2023 |
|
|
TeX |
6 |
Symbolic Execution and Debugging Synchronization - Bsc Thesis |
Jul 18, 2019 |
|
|
Rust |
40 |
Verifying constant-time code with symbolic execution |
Jul 24, 2022 |
|
|
C++ |
75 |
Symbolic Execution Engine based on Ghidra's PCode |
Feb 02, 2023 |
|
|
Java |
2 |
DSE: a generic dynamic symbolic execution engine |
Sep 10, 2022 |
|
|
Scala |
5 |
Kolibri - A concurrent, clusterable, open-source execution framework based on Akka, written in Scala |
Jan 28, 2023 |
|
|
C |
5 |
The Chef symbolic execution platform, based off S2E |
Dec 15, 2021 |
|
|
Python |
8 |
A modded Python interpreter that supports symbolic execution. |
Apr 18, 2021 |
|
|
None |
2 |
A bibliography of papers related to symbolic execution |
Sep 22, 2018 |
|
|
Python |
9 |
A symbolic execution engine for the VEX IR |
Nov 03, 2020 |
|
|
Python |
39 |
Symbolic execution for LLVM traces produced by PANDA |
Mar 10, 2023 |