#

symbolic-execution

Here are 287 public repositories matching this topic...

Nsidorenco / secco

symbolic-execution dynamic-analysis concolic-execution

Updated Jun 15, 2018
Clojure

shinmao / Software-Security

Basic learning in Binary Analysis

linker symbolic-execution elf dynamic-link

Updated Feb 28, 2022

shafiuzzaman-md / install-klee-edk2

Install and run KLEE on edk2

firmware symbolic-execution uefi klee edk2

Updated Jul 3, 2024
C

liuzikai / klc3

"KLEE on LC-3," Symbolic Execution Engine for LC-3 Programs

education assembly symbolic-execution lc-3 little-computer-3

Updated Feb 28, 2022
C++

nmeum / qsym

A symbolic executor for the QBE intermediate language

compiler symbolic-execution testing-tools z3 qbe

Updated Jun 1, 2023
Rust

euske / symex

Symbolic Execution for Python

python testing symbolic-execution z3 program-analysis

Updated Oct 26, 2020
Python

binsec / haunted_bench

Benchmarks for Binsec/Rel tool.

symbolic-execution binary-analysis spectre-vulnerability

Updated Jul 20, 2021
C

XD3an / symbolic-execution-all-in-one

Symbolic Execution-all-in-one

symbolic-execution program-analysis

Updated May 31, 2023

Slava0135 / gobber

Go symbolic execution (Z3 SMT solver)

symbolic-execution z3 program-analysis test-generation

Updated Jan 16, 2025
Go

mdsakibanwar / gosonar

Binary symbolic execution for detecting uncontrolled recursion in Go binaries. Published at IEEE S&P 2025.

go golang security symbolic-execution angr security-tools

Updated Apr 29, 2025
Python

Research-Tools-PAVT / klee

KLEE Symbolic Execution Engine

constraint-satisfaction-problem symbolic-execution

Updated Oct 20, 2024
C++

sambacha / hevm-ts

symbolic evm in typescript

ethereum symbolic-execution evm hevm

Updated Dec 4, 2023
TypeScript

nmosier / symex

A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.

symbolic-execution security-tools core-dump

Updated Nov 30, 2021
C++

zhangysh1995 / smt-data-processing

several scripts to process data from SMT solvers

csv symbolic-execution smt

Updated Oct 14, 2017
Python

Futaki-Futaba / angr-sample

angr 7向けのサンプルプログラムです

symbolic-execution angr

Updated Dec 12, 2017
Python

praise106-research / Plinko-KLEE-Clang

Examples and Programs for Probabilistic Symbolic Execution project. This has been built using KLEE, LLVM, Haskell & python3.

haskell llvm verification symbolic-execution probabilistic-programming klee llvm-clang

Updated Oct 20, 2024
C++

JacquesCarette / Retrodictive

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS

symbolic-execution quantum-computing partial-evaluators

Updated Jun 10, 2023
TeX

Gymbo

Koukyosyumei / Gymbo

gradient-based symbolic execution engine implemented from scratch

debugging neural-network static-analysis symbolic-execution gradient-descent program-analysis smt-solver dpll dpll-solver

Updated Dec 16, 2023
C++

dynaroars / ceti

CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.

ocaml program-synthesis symbolic-execution program-repair automatic-program-repair

Updated Mar 11, 2021
SWIG

ayeshakhzafar / CodeMirror

A Web-based tool that helps analyze the correctness and equivalence of programs using formal methods.

react static-analysis wasm symbolic-execution z3 formal-methods pegjs smt program-verification vite equivalence-checking

Updated Jun 24, 2025
JavaScript

Improve this page

Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."