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

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

"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

Scheme-based Input Specification language for Concolic Testing

Synoptic: Concolic execution for network protocol inference

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

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.

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

Whitebox autograder for Python functions.

A concolic interpreter backend for Fugue.

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

Test input generation using separation logic

Validating changes using concolic execution

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

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

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