|
Python |
6 |
Symbolic execution tool |
May 10, 2022 |
|
Python |
3073 |
Symbolic execution tool |
Sep 01, 2022 |
|
Python |
2 |
Symbolic execution tool |
Oct 19, 2021 |
|
C |
2 |
Driller: augmenting AFL with symbolic execution! |
Dec 02, 2022 |
|
Python |
40 |
Symbolic execution in radare2 with angr |
Aug 26, 2022 |
|
Python |
814 |
Driller: augmenting AFL with symbolic execution! |
May 13, 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 |
|
OCaml |
30 |
Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and … |
Sep 26, 2022 |
|
C |
117 |
dude, is my code constant time? |
Jul 04, 2022 |
|
None |
9 |
A repository of tools for verifying constant-timeness |
Feb 09, 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 |
|
C |
5 |
C-based shallow embedding of Ghidra's P-code symbolic execution |
Dec 30, 2021 |
|
Racket |
108 |
Some fun examples of solving problems with symbolic execution |
Apr 09, 2023 |
|
C |
21 |
QEMU VM with generic KVM extensions for symbolic execution |
Mar 06, 2023 |
|
C |
2 |
QEMU VM with generic KVM extensions for symbolic execution |
Nov 05, 2023 |
|
WebAssembly |
13 |
Constant-time WebAssembly |
Jul 13, 2022 |
|
C |
2 |
Constant-Time Toolkit |
May 08, 2022 |
|
None |
24 |
Constant-Time WebAssembly |
May 12, 2023 |
|
WebAssembly |
5 |
Constant-Time WebAssembly |
Apr 20, 2020 |
|
C++ |
6 |
Symbolic Execution Tool based on CBMC |
Mar 02, 2022 |
|
C++ |
7 |
SymCC: efficient compiler-based symbolic execution |
Apr 26, 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 |
|
Racket |
42 |
A Symbolic Execution Tool for Cairo |
Mar 23, 2023 |
|
C++ |
641 |
SymCC: efficient compiler-based symbolic execution |
May 11, 2023 |
|
F# |
37 |
Symbolic execution engine for .NET Core |
May 05, 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 |
|
Python |
667 |
Code Repository for Liquid Time-Constant Networks (LTCs) |
May 06, 2023 |
|
TeX |
5 |
Formal model of program execution, symbolic execution, and taint tracking |
Dec 18, 2020 |
|
C |
9 |
empirical measurement of code constructs that seem like they should have constant execution time regardless … |
Jul 11, 2019 |
|
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 |
|
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 |
|
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 |