Validating changes using concolic execution

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

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

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

"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

CRETE under development

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

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

Build your emulation environment as needed

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

Z3 backend for Fugue's concolic interpreter.

Scheme-based Input Specification language for Concolic Testing

Sydr benchmark applications

Whitebox autograder for Python functions.

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.

Test input generation using separation logic

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)