|
Python |
3073 |
Symbolic execution tool |
Sep 01, 2022 |
|
Python |
2 |
Symbolic execution tool |
Oct 19, 2021 |
|
C |
24 |
TRACER Symbolic Execution Tool |
Oct 13, 2022 |
|
C++ |
6 |
Symbolic Execution Tool based on CBMC |
Mar 02, 2022 |
|
Racket |
42 |
A Symbolic Execution Tool for Cairo |
Mar 23, 2023 |
|
C# |
20 |
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation |
Aug 26, 2021 |
|
Rust |
33 |
Symbolic execution tool for Sail ISA specifications |
Apr 23, 2023 |
|
C++ |
21 |
Lightweight Symbolic Execution Engine |
Jul 30, 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 |
|
None |
5 |
Compiled Sail ISA snapshots for the Isla symbolic execution tool |
Apr 22, 2023 |
|
Rust |
2 |
ISA automatic test generator using the isla symbolic execution tool |
Feb 09, 2023 |
|
C# |
26 |
Symbolic Execution Engine for Boogie |
Sep 29, 2022 |
|
Rust |
325 |
symbolic execution engine for Rust |
May 26, 2023 |
|
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 |
|
C# |
49 |
Symbolica's open-source symbolic execution engine. |
Jun 06, 2022 |
|
Racket |
3 |
Library for common symbolic execution utilities |
Sep 15, 2022 |
|
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 |
|
TeX |
5 |
Formal model of program execution, symbolic execution, and taint tracking |
Dec 18, 2020 |
|
C |
5 |
Lua interpreter modded to support symbolic execution |
Mar 23, 2019 |
|
C++ |
463 |
Open-source symbolic execution framework: https://maat.re |
Aug 09, 2022 |
|
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 |
|
None |
2 |
Open-source symbolic execution framework: https://maat.re |
Jul 21, 2023 |
|
Java |
2 |
DSE: a generic dynamic symbolic execution engine |
Sep 10, 2022 |
|
Python |
4 |
Symbolic derivation tool |
Mar 07, 2022 |
|
Python |
281 |
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine |
Aug 13, 2022 |
|
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 |
|
Haskell |
177 |
The symbolic execution engine powering the K Framework |
Aug 21, 2022 |
|
Python |
39 |
Symbolic execution for LLVM traces produced by PANDA |
Mar 10, 2023 |
|
WebAssembly |
7 |
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules |
May 02, 2023 |
|
ASL |
3 |
Semantic interpretation the ARM Specification Language using symbolic execution |
Mar 27, 2023 |
|
Racket |
108 |
Some fun examples of solving problems with symbolic execution |
Apr 09, 2023 |