cponcelets

Pinned Repositories

atom-antescofo
Upload To Atom
Language:CSS10
covpare
Simple tool for comparing gcov/llvm-cov output between runs
Language:Python1 1 01
EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++10
in-60-seconds
GitPitch In 60 Seconds - A Very Short Tutorial
Language:CSS10
intriguer
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
Language:C10
klee
KLEE Symbolic Execution Engine
Language:C++10
nano-symex
A tiny symbolic execution engine
Language:Scala1 1 00
oak
A typed parser generator embedded in Rust code for Parsing Expression Grammar
Language:Rust20
rttm
Relative Timed Trace Manager
Language:C++1 2 00
savior-source
source code for savior fuzzer
Language:LLVM10

cponcelets's Repositories

cponcelets/oak
A typed parser generator embedded in Rust code for Parsing Expression Grammar
Language:Rust20
cponcelets/atom-antescofo
Upload To Atom
Language:CSS10
cponcelets/covpare
Simple tool for comparing gcov/llvm-cov output between runs
Language:Python1 1 01
cponcelets/EffectiveSan
Runtime type and bounds-error checking for C/C++
Language:C++10
cponcelets/in-60-seconds
GitPitch In 60 Seconds - A Very Short Tutorial
Language:CSS10
cponcelets/intriguer
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
Language:C10
cponcelets/klee
KLEE Symbolic Execution Engine
Language:C++10
cponcelets/nano-symex
A tiny symbolic execution engine
Language:Scala1 1 00
cponcelets/rttm
Relative Timed Trace Manager
Language:C++1 2 00
cponcelets/savior-source
source code for savior fuzzer
Language:LLVM10
cponcelets/selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
Language:C1