ayazip

Pinned Repositories

benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python00
klee
KLEE Symbolic Virtual Machine
Language:C++00
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language:Python00
witch-klee
Witch-KLEE - A KLEE-based error witness checker
Language:Shell50
witness-tests
Violation witnesses for testing witness validators
Language:C00
yaml-cpp
A YAML parser and emitter in C++
Language:C++00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python226 15 379192
JetKlee
JetKlee Symbolic Virtual Machine
Language:C++4 4 57
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Language:Python308 12 17556

ayazip's Repositories

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