concolic-execution
There are 35 repositories under concolic-execution topic.
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
fuzzland/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
sslab-gatech/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
season-lab/fuzzolic
fuzzing + concolic = fuzzolic :)
ispras/oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
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)
jordan9001/dobby2
Build your emulation environment as needed
SVL-PSU/crete-dev
CRETE under development
csvl/SEMA-ToolChain
ToolChain using Symbolic Execution for Malware Analysis.
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.
songboyu/defect-mining
模糊器与符号测试结合的漏洞挖掘系统(fuzzer, concolic-execution)
agra-uni-bremen/symex-vp
A concolic testing engine for RISC-V embedded software with support for SystemC peripherals
season-lab/SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
season-lab/fuzzy-sat
An approximate solver for concolic execution
ispras/sydr-benchmark
Sydr benchmark applications
pfnet-research/ATPG4SV
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
enzet/program-model
Formal model of program execution, symbolic execution, and taint tracking
fugue-re/fugue-concolic
A concolic interpreter backend for Fugue.
shouc/corbfuzz
Code for ASE'21 Paper "CorbFuzz: Checking Browser Security Policies with Fuzzing"
hexterisk/bomblab-Angr
Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).
sai-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.
star-finder/jpf-costar
Test input generation using separation logic
agra-uni-bremen/sisl
Scheme-based Input Specification language for Concolic Testing
moondemon68/PyAssessment
Whitebox autograder for Python functions.
sach1t/symbv
Validating changes using concolic execution
Matin-A/Calendar
A calendar program to show specified date, convert Persian and Gregorian calendar together, in a simple way...
Matin-A/Ultra-Tic-Tac-Toe
A Simple game. Programmed in C. Runs in console.
saifnoorprottoy/atulee
fuzzer for graphQL
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
tkhang1999/mini-symex-js
A mini symbolic execution engine for simple JavaScript programs
fugue-re/fugue-concolic-solver-z3
Z3 backend for Fugue's concolic interpreter.
MatthiasGabriel/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