Movatterモバイル変換

Skip to content

#

concolic-execution

Here are 38 public repositories matching this topic...

Language:All

Filter by language

All38 C9 Python8 C++4 Java3 Rust3 OCaml2 TeX2 Clojure1 HTML1 JavaScript1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

CrossHair

pschanely /CrossHair

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

python testing static-analysis symbolic-execution fuzzing dynamic-analysis z3 contracts hacktoberfest testing-framework concolic-execution type-systems

UpdatedDec 17, 2025
Python

fuzzland /ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

ethereum smart-contracts blockchain solidity fuzzing move evm concolic-execution sui aptos

UpdatedDec 10, 2025
Rust

sslab-gatech /qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

binary fuzzing concolic-execution hybrid-fuzzing

UpdatedNov 23, 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

UpdatedAug 24, 2024
Kotlin

OCamlPro /owi

Seamless bug-finding for C, C++, Rust, Wasm and Zig

c rust formatter interpreter ocaml solver parallel webassembly wasm optimizer symbolic-execution constraints afl fuzzer smt concolic-execution owi wat2wasm nlnet wasm2wat

UpdatedDec 13, 2025
OCaml

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

UpdatedDec 17, 2025
C

season-lab /fuzzolic

fuzzing + concolic = fuzzolic :)

symbolic-execution concolic-execution

UpdatedNov 6, 2025
C

SEMA

csvl /SEMA

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.

python windows linux detection static-analysis reverse-engineering malware symbolic-execution symbolic cybersecurity classification reverse ctf malware-analysis binary-analysis malware-research angr concolic-execution malware-detection sema

UpdatedMar 10, 2025
Python

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)

exploit symbolic-execution s2e aeg concolic-execution crax

UpdatedJan 13, 2023
C++

jordan9001 /dobby2

Build your emulation environment as needed

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

UpdatedApr 14, 2021
Python

SVL-PSU /crete-dev

CRETE under development

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

UpdatedJun 30, 2020
C

ispras /crusher

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

UpdatedDec 4, 2025
Python

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

UpdatedOct 23, 2022
C

agra-uni-bremen /symex-vp

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

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

UpdatedOct 4, 2023
C++

season-lab /fuzzy-sat

An approximate solver for concolic execution

smt-solver concolic-execution

UpdatedApr 29, 2025
C

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

UpdatedDec 21, 2018
OCaml

season-lab /SymFusion

SymFusion: Hybrid Instrumentation for Concolic Execution

symbolic-execution concolic-execution

UpdatedMay 5, 2023
C

ispras /sydr-benchmark

Sydr benchmark applications

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

UpdatedJul 25, 2022
C++

secureweb /symphp

Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)

php symbolic-execution concolic-execution php-symbolic-execution

UpdatedOct 3, 2024
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

UpdatedNov 2, 2020
TeX

Improve this page

Add a description, image, and links to theconcolic-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 theconcolic-execution topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp