#

symbolic-execution

Here are 22 public repositories matching this topic...

JuanmaCopia / SymSolve

SymSolve is an efficient bounded exhaustive solver for symbolic structures with complex representation invariants.

verification symbolic-execution program-analysis constraint-solver

Updated Jan 13, 2025
Java

baonguyen96 / JoanaPdgPruner

Custom filter to prune generated PDGs from JOANA

filter symbolic-execution program-analysis joana prune-generated-pdgs

Updated Jul 12, 2022
Java

JuanmaCopia / spf-pli

PLI is an efficient symbolic execution approach for programs that manipulate complex heap-allocated data structures with rich structural constraints

symbolic-execution

Updated Jan 28, 2025
Java

BanafshehAzizi / SEET

A symbolic executor for ETL transformations

testing symbolic-execution model-transformations model-driven-engineering testing-tool seet

Updated Jul 31, 2020
Java

Niols / GSoC17

Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder

symbolic-execution separation-logic java-pathfinder symbolic-pathfinder

Updated Dec 6, 2024
Java

brocbyte / brocstruct

Ghidra plugin for automatic struct definition extraction from executables.

reverse-engineering symbolic-execution p-code ghidra ghidra-scripts

Updated Dec 20, 2024
Java

spencerwuwu / J-ReCoVer

A commutativity verifier for Java Reducer.

java bytecode verification symbolic-execution soot commutativity

Updated Oct 13, 2020
Java

JuanmaCopia / lissa

LISSA: An efficient symbolic execution approach for programs manipulating complex heap-allocated data structures.

java verification symbolic-execution program-analysis test-case-generation

Updated Aug 4, 2023
Java

CMPT-479 / VBNConcolicGen

Concolic Unit Test Generation for Java

java testing unit-testing symbolic-execution z3 soot concolic-testing

Updated Apr 28, 2023
Java

polystat / symex

Symbolic Execution engine for finding bugs in EO programs

java symbolic-execution eolang

Updated Dec 15, 2023
Java

star-finder / jpf-symbc

Symbolic PathFinder

java symbolic-execution symbolic-execution-engine

Updated Feb 6, 2019
Java

nju-Nicko / MethodInvocationSequenceTracer

基于符号执行的方法调用序列追踪工具

symbolic-execution

Updated Sep 12, 2018
Java

isstac / spf-sca

Side-channel analysis via symbolic execution

java symbolic-execution side-channel-attacks quantitative-information-flow

Updated Dec 17, 2020
Java

fergarrui / ethereum-bytecode-analyzer

Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules

bytecode graph ethereum smart-contracts blockchain symbolic-execution analyzer ethereum-bytecode ethereum-analyzer

Updated Jun 6, 2018
Java

UCLA-SEAL / NaturalSym

FSE 2024: Natural Symbolic Execution-based Testing for Big Data Analytics

testing apache-spark symbolic-execution

Updated Feb 15, 2025
Java

star-finder / jpf-star

Test input generation using separation logic

unit-testing test-automation symbolic-execution testing-tools separation-logic testing-framework

Updated Jul 5, 2019
Java

isstac / spf-wca

Tool for algorithmic complexity analysis based on symbolic execution

java symbolic-execution heuristics complexity-analysis

Updated Sep 17, 2018
Java

PrithwishJana / CoTran

Official repository for CoTran: An LLM-based code translator for whole-program translation, fine-tuned using feedback from compiler and symbolic execution

programming-language compiler deep-reinforcement-learning symbolic-execution feedback-loop code-translation large-language-models neurosymbolic-ai

Updated Nov 6, 2024
Java

SWAT-project / SWAT

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

java asm symbolic-execution instrumentation dynamic-symbolic-execution

Updated Apr 30, 2025
Java

Generative-Program-Analysis / GenSym

A high-performance, parallel, compilation-based symbolic execution engine

scala compiler metaprogramming symbolic-execution symbolic-execution-engine multi-stage-programming

Updated Jan 26, 2026
Java

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."