Pinned Repositories
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
klee
KLEE Symbolic Virtual Machine
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
witch-klee
Witch-KLEE - A KLEE-based error witness checker
witness-tests
Violation witnesses for testing witness validators
yaml-cpp
A YAML parser and emitter in C++
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
JetKlee
JetKlee Symbolic Virtual Machine
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
ayazip's Repositories
ayazip/witch-klee
Witch-KLEE - A KLEE-based error witness checker
ayazip/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
ayazip/klee
KLEE Symbolic Virtual Machine
ayazip/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
ayazip/witness-tests
Violation witnesses for testing witness validators
ayazip/yaml-cpp
A YAML parser and emitter in C++