Pinned Repositories
2ls
Static Analyzer and Verifier
cbmc
C Bounded Model Checker
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
2ls
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
c-test
cbmc
C Bounded Model Checker
cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
ecommerce-demo
sv-benchmarks
Collection of Verification Tasks (MOVED, please follow the link)
peterschrammel's Repositories
peterschrammel/cbmc
C Bounded Model Checker
peterschrammel/2ls
peterschrammel/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
peterschrammel/c-test
peterschrammel/cprover-sv-comp
CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)
peterschrammel/ecommerce-demo
peterschrammel/java-demo
Demonstration project for Java analysis
peterschrammel/java-driver
DataStax Java Driver for Apache Cassandra
peterschrammel/jayhorn
Static checker for Java
peterschrammel/jlint-json
Extension of Jlint to produce JSON output
peterschrammel/jo
JSON output from a shell
peterschrammel/jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
peterschrammel/maven-help-plugin
Apache Maven Help Plugin
peterschrammel/seahorn
SeaHorn Verification Framework
peterschrammel/sv-benchmarks
peterschrammel/sv-comp
Information to reproduce results from SV-COMP
peterschrammel/tsmin
Test Suite Minimizer