模糊器与符号测试结合的漏洞挖掘系统（fuzzer, concolic-execution）

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.

An approximate solver for concolic execution

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