GitHub topics: concolic-execution

Repositories

OCamlPro/owi

Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife

Language: OCaml - Size: 16.1 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 173 - Forks: 27

SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.

Language: Python - Size: 1.42 GB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 112 - Forks: 21

pschanely/CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

Language: Python - Size: 4.74 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 1,110 - Forks: 59

ispras/crusher

Language: Python - Size: 32 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 39 - Forks: 15

ispras/oss-sydr-fuzz

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

Language: C - Size: 12 MB - Last synced at: 11 days ago - Pushed at: about 1 month ago - Stars: 138 - Forks: 32

SQLab/CRAXplusplus

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

Language: C++ - Size: 4.18 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 101 - Forks: 15

agra-uni-bremen/symex-vp

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

Language: C++ - Size: 31.7 MB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 5

pfnet-research/ATPG4SV

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

Language: OCaml - Size: 40 KB - Last synced at: 9 days ago - Pushed at: over 6 years ago - Stars: 18 - Forks: 2

sslab-gatech/qsym 📦

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language: C++ - Size: 35.4 MB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 637 - Forks: 135

ispras/sydr-benchmark

Sydr benchmark applications

Language: C++ - Size: 35.1 MB - Last synced at: 11 days ago - Pushed at: over 2 years ago - Stars: 17 - Forks: 7

season-lab/fuzzolic

fuzzing + concolic = fuzzolic :)

Language: C - Size: 23.8 MB - Last synced at: 5 months ago - Pushed at: 11 months ago - Stars: 117 - Forks: 6

jordan9001/dobby2

Build your emulation environment as needed

Language: Python - Size: 495 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 64 - Forks: 10

fuzzland/ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Language: Rust - Size: 3.41 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 592 - Forks: 82

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.

Language: C - Size: 130 MB - Last synced at: 17 days ago - Pushed at: over 2 years ago - Stars: 30 - Forks: 8

agra-uni-bremen/sisl

Scheme-based Input Specification language for Concolic Testing

Language: Scheme - Size: 49.8 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

season-lab/fuzzy-sat

An approximate solver for concolic execution

Language: C - Size: 558 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 17 - Forks: 3

fugue-re/fugue-concolic

A concolic interpreter backend for Fugue.

Language: Rust - Size: 267 KB - Last synced at: 12 months ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1

tkhang1999/mini-symex-js

A mini symbolic execution engine for simple JavaScript programs

Language: JavaScript - Size: 20.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

enzet/symbolic-execution

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

Language: Kotlin - Size: 14.9 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 474 - Forks: 60

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

Language: TeX - Size: 413 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

shashvat-singham/CSE-Research

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

Language: Python - Size: 200 MB - Last synced at: about 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0