concolic-execution

There are 2 repositories under concolic-execution topic.

• CrossHair

  pschanely / CrossHair

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

  pythonstatic-analysistesting-frameworksymbolic-executiontype-systemsfuzzingcontractsdynamic-analysistestingz3concolic-executionhacktoberfest
  Language:Python 954

• sslab-gatech / qsym

  QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

  binaryconcolic-executionfuzzinghybrid-fuzzing
  Language:C++ 623

• fuzzland / ityfuzz

  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

  aptosblockchainconcolic-executionethereumevmfuzzingmovesmart-contractssoliditysui
  Language:Rust 614

• enzet / symbolic-execution

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

  dynamic-symbolic-executionsymbolic-executionhistorytimelineconcolic-executionconcolicprogram-analysisdynamic-analysissolving
  Language:Kotlin 478

• season-lab / fuzzolic

  fuzzing + concolic = fuzzolic :)

  concolic-executionsymbolic-execution
  Language:C 113

• ispras / oss-sydr-fuzz

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

  securityfuzzingfuzz-testingvulnerabilitiesstabilityoss-fuzzdsesymbolic-executionsymbolicsydrsydr-fuzzdynamic-symbolic-executionconcolic-executionconcolichybrid-fuzzinglibfuzzer
  Language:C 106

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

  aegexploitsymbolic-executions2ecraxconcolic-execution
  Language:C++ 97

• jordan9001 / dobby2

  Build your emulation environment as needed

  symbolic-executionconcolic-executionemulatordeobfuscationkernelwindows-kernel-exploitation
  Language:Python 63

• SVL-PSU / crete-dev

  CRETE under development

  symbolic-executionbinary-analysistest-generationconcolic-execution
  Language:C 57

• ispras / crusher

  dsesymbolic-executionsymbolicfuzzingbinary-analysisdynamic-symbolic-executionconcolicconcolic-executionhybrid-fuzzingstatic-analysisbug-detectioncoverage-guided-fuzzing
  Language:Python 35

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

  concolic-executionprogram-repair
  Language:C 30

• songboyu / defect-mining

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

  fuzzerconcolic-execution
  Language:JavaScript 24

• season-lab / SymFusion

  SymFusion: Hybrid Instrumentation for Concolic Execution

  concolic-executionsymbolic-execution
  Language:C 18

• agra-uni-bremen / symex-vp

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

  risc-vsymbolic-executionconcolic-executionconcolic-testingkleeriscvriscv32systemc
  Language:C++ 17

• season-lab / fuzzy-sat

  An approximate solver for concolic execution

  concolic-executionsmt-solver
  Language:C 17

• ispras / sydr-benchmark

  Sydr benchmark applications

  symbolic-executionbenchmarkdynamoriotritondsebinary-analysisdynamic-symbolic-executionconcolic-executionsymbolicconcolicfuzzinghybrid-fuzzing
  Language:C++ 15

• pfnet-research / ATPG4SV

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

  system-verilogatpgocamlconcolic-executionsymbolic-executionsmt-solver
  Language:OCaml 15

• enzet / program-model

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

  latexpapersymbolic-executiondynamic-symbolic-executionconcolic-executiontaint-analysisgraph-drawing
  Language:TeX 7

• fugue-re / fugue-concolic

  A concolic interpreter backend for Fugue.

  binary-analysisconcolic-executionreverse-engineeringsymbolic-execution
  Language:Rust 5

• shouc / corbfuzz

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

  fuzzingconcolic-executionbrowser-security
  Language:C 3

• hexterisk / bomblab-Angr

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

  bomblabangrconcolic-executionreverse-engineeringbinary-analysis
  Language:HTML 2

• 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-toolsquality-assurancetestingautomated-testingsymbolicsymbolic-executionconcolic-executionaflafl-fuzzerkleedpll
  2

• star-finder / jpf-costar

  Test input generation using separation logic

  concolic-executionseparation-logictesting-toolstest-automationtesting-frameworkunit-testing
  Language:Java 2

• agra-uni-bremen / sisl

  Scheme-based Input Specification language for Concolic Testing

  concolic-executionconcolic-testingr7rsr7rs-schemesymbolic-execution
  Language:Scheme 1

• moondemon68 / PyAssessment

  Whitebox autograder for Python functions.

  concolic-executionpythonsemantic-similaritywhitebox-testingz3
  Language:Python 1

• sach1t / symbv

  Validating changes using concolic execution

  concolic-executionvalidation
  Language:Java 1

• Matin-A / Calendar

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

  calendarjavaconcolic-execution
  Language:Java 0

• Matin-A / Ultra-Tic-Tac-Toe

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

  gamecconcolic-execution
  Language:C 0

• Nsidorenco / secco

  symbolic-executionconcolic-executiondynamic-analysis
  Language:Clojure 0

• saifnoorprottoy / atulee

  fuzzer for graphQL

  apiconcolic-executionfuzzingfuzzing-frameworkfuzztestgraphql
  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

  cifar10concolic-executionfirebase-authmnistnodejsoraclesreactjs
  Language:Python 0

• tkhang1999 / mini-symex-js

  A mini symbolic execution engine for simple JavaScript programs

  concolic-executionjavascriptjavascript-testingsymbolic-execution
  Language:JavaScript 0

• fugue-re / fugue-concolic-solver-z3

  Z3 backend for Fugue's concolic interpreter.

  binary-analysisconcolic-executionreverse-engineeringsymbolic-executionz3
  Language:Rust

• 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-testingconcolic-execution
  Language:TeX