51 skills found · Page 1 of 2
sslab-gatech / QsymQSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
enzet / Symbolic ExecutionHistory of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
ChrisTheCoolHut / Firmware SlapDiscovering vulnerabilities in firmware through concolic analysis and function clustering.
cuter-testing / CuterA concolic testing tool for the Erlang functional programming language.
jburnim / CrestCREST is a concolic test generation tool for C.
SoftSec-KAIST / EclipserGrey-box Concolic Testing on Binary Code (ICSE '19)
ispras / Oss Sydr FuzzOSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
season-lab / Fuzzolicfuzzing + concolic = fuzzolic :)
ConcoLLMic / ConcoLLMicConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents
Dongdongshe / K SchedulerA universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
TrustAI / DeepConcolicConcolic Testing for Deep Neural Networks
ksen007 / Janala2a concolic testing engine for Java
osl / JcuteJava Concolic Unit Testing Engine
c01db33f / ConcolicaPython concolic execution framework for program analysis
CIFASIS / Nosy NewtNosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton
JulianSchuette / ConDroidSymbolic/concolic execution of Android apps
ispras / CrusherNo description available
Cottontail-Proj / CottontailCottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)
kamou / PimpTriton based R2 plugin for concolic execution and total control
Ledger-Donjon / ZoryaZorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.
