concolic-execution
There are 3 repositories under concolic-execution topic.
- CrossHair
pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Language:Python 1222 - Language:Rust 1032
sslab-gatech / qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
Language:C++ 653enzet / symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Language:Kotlin 493- Language:OCaml 260
ispras / oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Language:C 141- Language:C 126
- SEMA
csvl / SEMA
SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.
Language:Python 119 SQLab / CRAXplusplus
The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)
Language:C++ 102jordan9001 / dobby2
Build your emulation environment as needed
Language:Python 65- Language:C 59
- Language:Python 40
rshariffdeen / CPR
CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.
Language:C 33agra-uni-bremen / symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
Language:C++ 25pfnet-research / ATPG4SV
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Language:OCaml 19- Language:C 18
Sydr benchmark applications
Language:C++ 17season-lab / SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
Language:C 17secureweb / symphp
Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
Language:C 12Formal model of program execution, symbolic execution, and taint tracking
Language:TeX 7fugue-re / fugue-concolic
A concolic interpreter backend for Fugue.
Language:Rust 5hexterisk / bomblab-Angr
Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).
Language:HTML 4- Language:C 4
star-finder / jpf-costar
Test input generation using separation logic
Language:Java 3sai-teja-ponugoti / Software-Testing-Quality-Assurance-and-Maintenance
ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.
Scheme-based Input Specification language for Concolic Testing
Language:Scheme 1moondemon68 / PyAssessment
Whitebox autograder for Python functions.
Language:Python 1- Language:Java 1
- Language:Clojure 0
shashvat-singham / CSE-Research
NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fault localization to find potentially faulty network parameters (such as the weights) and then performs repair using constraint solving to apply small
Language:Python 0tkhang1999 / mini-symex-js
A mini symbolic execution engine for simple JavaScript programs
Language:JavaScript 0Z3 backend for Fugue's concolic interpreter.
Language:RustMatthiasGabriel / SemProgAnTr_HS19
"Concolic testing: An overview of the used techniques and its limits" - Report for the Seminar "Program Analysis and Transformation" in HS2019 about the topic concolic testing
Language:TeXRastislonge / Angr-presentation-files
Scripts and binaries used for the angr presentation at quebecsec. Presentation available at: https://www.youtube.com/watch?v=1hwEessoskc
Language:Pythonreverseame / synoptic
Synoptic: Concolic execution for network protocol inference
Language:PythonTaiYou-TW / SymWP
SymWP, a concolic analysis framework designed specifically for WordPress plugin security. SymWP integrates an off-the-shelf symbolic execution engine and targets the PHP interpreter, allowing it to analyze plugin behavior at a semantic level with minimal human intervention.
Language:PHP
