|
|
C++ |
463 |
Open-source symbolic execution framework: https://maat.re |
Aug 09, 2022 |
|
|
None |
2 |
Open-source symbolic execution framework: https://maat.re |
Jul 21, 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 |
|
|
C++ |
2231 |
KLEE Symbolic Execution Engine |
May 24, 2023 |
|
|
C# |
26 |
Symbolic Execution Engine for Boogie |
Sep 29, 2022 |
|
|
Rust |
325 |
symbolic execution engine for Rust |
May 26, 2023 |
|
|
F# |
37 |
Symbolic execution engine for .NET Core |
May 05, 2023 |
|
|
Go |
2 |
A small RISC-V symbolic execution engine |
Apr 13, 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 |
|
|
JavaScript |
756 |
BPMN 2.0 execution engine. Open source javascript workflow engine. |
May 10, 2023 |
|
|
JavaScript |
5 |
BPMN 2.0 execution engine. Open source javascript workflow engine. |
Apr 23, 2021 |
|
|
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 |
78 |
[DEPRECATED] A symbolic execution engine for the VEX IR |
Jun 10, 2022 |
|
|
OCaml |
5 |
lsee - a lightweight symbolic execution engine written in OCaml |
Jun 19, 2021 |
|
|
Java |
87 |
A high-performance, parallel, compilation-based symbolic execution engine |
May 11, 2023 |
|
|
Haskell |
15 |
A toy symbolic execution engine, supporting the blog article ... |
Feb 27, 2023 |
|
|
Python |
6 |
Symbolic execution tool |
May 10, 2022 |
|
|
Python |
3073 |
Symbolic execution tool |
Sep 01, 2022 |
|
|
Python |
2 |
Symbolic execution tool |
Oct 19, 2021 |
|
|
WebAssembly |
7 |
WebAssembly Symbolic Processor (WASP) a symbolic execution engine for testing and validating Wasm modules |
May 02, 2023 |
|
|
Solidity |
80 |
Symbolic execution engine written in Solidity, based on Difference Logic. |
Oct 18, 2022 |
|
|
C++ |
2 |
Data-driven symbolic execution engine, implemented on top of KLEE |
Apr 23, 2023 |
|
|
C |
24 |
TRACER Symbolic Execution Tool |
Oct 13, 2022 |
|
|
Go |
3 |
Quiver-Based Symbolic Execution |
Apr 24, 2023 |
|
|
C++ |
10 |
Symbolic Execution for WebAssembly |
Jan 28, 2023 |
|
|
C |
9 |
a CIL-based dynamic symbolic execution (DSE) engine for C language |
Jan 05, 2022 |
|
|
Rust |
436 |
Symbolic execution of LLVM IR with an engine written in Rust |
May 16, 2023 |
|
|
C# |
20 |
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation |
Aug 26, 2021 |
|
|
Go |
3 |
PlayStation 1 emulator, symbolic execution engine and binary lifter (work in progress). |
May 05, 2020 |
|
|
Rust |
11 |
Monster is a symbolic execution engine for 64-bit RISC-U code |
Mar 16, 2023 |
|
|
C++ |
4 |
A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core … |
Mar 24, 2023 |
|
|
CMake |
8 |
c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee … |
May 30, 2022 |
|
|
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 |
|
|
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 |