"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

Whitebox autograder for Python functions.

A mini symbolic execution engine for simple JavaScript programs

A calendar program to show specified date, convert Persian and Gregorian calendar together, in a simple way...

Z3 backend for Fugue's concolic interpreter.

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

A Simple game. Programmed in C. Runs in console.

Scheme-based Input Specification language for Concolic Testing

Validating changes using concolic execution

ECE 653 - testing, Quality Assurance, and Maintenance.This repo holds all material, notes and assignments related to the mentioned course.

Solution to the CMU Binary Bomblab using concolic execution (Angr framework by Shellphish).

Code for ASE'21 Paper "CorbFuzz: Checking Browser Security Policies with Fuzzing"

Test input generation using separation logic

A concolic interpreter backend for Fugue.

Formal model of program execution, symbolic execution, and taint tracking

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)

Sydr benchmark applications

SymFusion: Hybrid Instrumentation for Concolic Execution

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.