MartinSpiessl's repositories
analyzer
The goblint static analysis framework
Language:OCamlMIT000
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:PythonApache-2.0000
Language:C000
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Language:CNOASSERTION000
guava
Google core libraries for Java
Language:JavaApache-2.0000
java-common-lib
SoSy-Lab Java Common Library
Language:JavaNOASSERTION000
libiio
A cross platform library for interfacing with local and remote Linux IIO devices
Language:CLGPL-2.1000
predator
A Shape Analyzer Based on Symbolic Memory Graphs
Language:CGPL-3.0000
predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
Language:PythonGPL-3.0000
pycparser
:snake: Complete C99 parser in pure Python
Language:PythonNOASSERTION000
pycparserext
Extensions for Eli Bendersky's pycparser
Language:PythonNOASSERTION000
sv-benchmarks
Collection of Verification Tasks
Language:C000
sv-comp
Information to reproduce results from SV-COMP
Apache-2.0000
uthash
C macros for hash tables and more
Language:CNOASSERTION000
Language:C++000