#

concolic-execution

Here are 27 public repositories matching this topic...

CrossHair

pschanely / CrossHair

Open

Migrate to pytest

2

pschanely commented Jan 28, 2021

Pytest seems like it might be better for us then unittest:

it works better with mypy (because mypy understands real asserts)
It's easier to selectively run tests (CrossHair has a lot of not-fast tests)

Read more

help wanted good first issue code health Hacktoberfest

sslab-gatech / qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

binary fuzzing concolic-execution hybrid-fuzzing

Updated Jun 30, 2022
C++

enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

timeline history symbolic-execution dynamic-analysis program-analysis dynamic-symbolic-execution concolic-execution solving concolic

Updated Dec 28, 2021
Kotlin

SVL-PSU / crete-dev

CRETE under development

symbolic-execution binary-analysis test-generation concolic-execution

Updated Jun 30, 2020
C

jordan9001 / dobby2

Build your emulation environment as needed

emulator kernel symbolic-execution deobfuscation concolic-execution windows-kernel-exploitation

Updated Apr 14, 2021
Python

SQLab / CRAXplusplus

Open

CRAX: Add support for symbolic pointer and symbolic array index

aesophor commented Jan 4, 2022

See master thesis: Exploiting Symbolic Locations for Abnormal Execution Paths

Read more

help wanted good first issue

ispras / crusher

dse static-analysis symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic-execution concolic coverage-guided-fuzzing bug-detection hybrid-fuzzing

Updated Jun 30, 2022
Python

ispras / oss-sydr-fuzz

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

security dse symbolic-execution symbolic fuzzing fuzz-testing vulnerabilities stability libfuzzer dynamic-symbolic-execution concolic-execution concolic oss-fuzz hybrid-fuzzing sydr sydr-fuzz

Updated Jun 23, 2022
C

rshariffdeen / CPR

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.

program-repair concolic-execution

Updated Sep 2, 2021
C

songboyu / defect-mining

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

fuzzer concolic-execution

Updated Jun 1, 2017
JavaScript

pfnet-research / ATPG4SV

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

ocaml symbolic-execution smt-solver system-verilog concolic-execution atpg

Updated Dec 21, 2018
OCaml

ispras / sydr-benchmark

Sydr benchmark applications

benchmark dse symbolic-execution symbolic triton fuzzing binary-analysis dynamorio dynamic-symbolic-execution concolic-execution concolic hybrid-fuzzing

Updated May 26, 2021
C++

agra-uni-bremen / symex-vp

A concolic testing framework for RISC-V embedded software with support for SystemC peripherals

symbolic-execution riscv systemc risc-v klee concolic-execution riscv32 concolic-testing

Updated Jun 20, 2022
C++

enzet / program-model

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

latex paper symbolic-execution taint-analysis graph-drawing dynamic-symbolic-execution concolic-execution

Updated Nov 2, 2020
TeX

star-finder / jpf-costar

Test input generation using separation logic

unit-testing test-automation testing-tools separation-logic testing-framework concolic-execution

Updated Aug 9, 2019
Java

shouc / corbfuzz

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

fuzzing concolic-execution browser-security

Updated Aug 29, 2021
C

sai-teja-ponugoti / Software-Testing-Quality-Assurance-and-Maintenance

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

testing symbolic-execution symbolic testing-tools afl quality-assurance automated-testing klee dpll concolic-execution afl-fuzzer

Updated Jul 27, 2020

sach1t / symbv

Validating changes using concolic execution

validation concolic-execution

Updated Apr 19, 2018
Java

Matin-A / Calendar

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

java calendar concolic-execution

Updated Jun 17, 2018
Java

fugue-re / fugue-concolic-solver-z3

Z3 backend for Fugue's concolic interpreter.

reverse-engineering symbolic-execution z3 binary-analysis concolic-execution

Updated Jan 25, 2022
Rust

fugue-re / fugue-concolic

A concolic interpreter backend for Fugue.

reverse-engineering symbolic-execution binary-analysis concolic-execution

Updated Jan 25, 2022
Rust

Nsidorenco / secco

symbolic-execution dynamic-analysis concolic-execution

Updated Jun 15, 2018
Clojure

MatthiasGabriel / SemProgAnTr_HS19

"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

concolic-execution concolic-testing

Updated Dec 20, 2019
TeX

moondemon68 / PyAssessment

Whitebox autograder for Python functions.

python z3 semantic-similarity concolic-execution whitebox-testing

Updated Jun 24, 2022
Jupyter Notebook

saifnoorprottoy / atulee

fuzzer for graphQL

api graphql fuzzing concolic-execution fuzzing-framework fuzztest

Updated May 8, 2022

Matin-A / Ultra-Tic-Tac-Toe

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

game c concolic-execution

Updated Jun 17, 2018
C

hexterisk / bomblab-Angr

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

reverse-engineering binary-analysis angr concolic-execution bomblab

Updated Aug 9, 2020
HTML

Improve this page

Add a description, image, and links to the concolic-execution topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the concolic-execution topic, visit your repo's landing page and select "manage topics."