ayazip

ayazip

Geek Repo

Github PK Tool:Github PK Tool

ayazip's repositories

witch-klee

Witch-KLEE - A KLEE-based error witness checker

Language:ShellLicense:MITStargazers:5Issues:0Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

klee

KLEE Symbolic Virtual Machine

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

witness-tests

Violation witnesses for testing witness validators

Language:CLicense:MITStargazers:0Issues:0Issues:0

yaml-cpp

A YAML parser and emitter in C++

Language:C++License:MITStargazers:0Issues:0Issues:0