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