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

A mini symbolic execution engine for simple JavaScript programs

Z3 backend for Fugue's concolic interpreter.

Synoptic: Concolic execution for network protocol inference

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

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

Scripts and binaries used for the angr presentation at quebecsec. Presentation available at: https://www.youtube.com/watch?v=1hwEessoskc

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

Validating changes using concolic execution

Scheme-based Input Specification language for Concolic Testing

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

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.

Test input generation using separation logic

A concolic interpreter backend for Fugue.

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

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

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)