gernst Goto Github PK

abstractdomain_adt

Implementation of an abstract domain for algebraic data types

aeval

AE-solver and Skolemizer

arse-c

aval

Validator for MemSafety in Test-Comp

aws-c-common

Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

bk

Non-local goto and backtracking in Scala

bluesbot

Plays an infinitely long 16 bar blues in Am using SonicPI

boogie

Boogie

bvsampler

Efficient Sampling of Bitvector Solutions for Testing (credit to Quicksampler)

casino_artifacts

Companion repository with the artifacts to the Casino case study

claripy

An abstraction layer for constraint solvers.

connections

Material and code for CONNECTIONS by http://fuzzybinaires.org

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

cuvee

A tool for Boogie and SMT-LIB engineering

cuvee-preliminary

dafny

Dafny is a verification-aware programming language

easyparse

Libary for automatic recovery of syntactic elements. LL parsing for case classes made simple.

fuzzing_with_cmaes

imp3

IMP3 - Translating imperative programs to TVLA3

jarversion

Get min/max version numbers from compiled class files in a jar

korn

legion-symcc

Fresh implementation of the Legion algorithm on top of SyMCC

minihorn

Toy Verifier for Dafny by translation into SMT-LIB Horn format

pycached

pycached is a Python model of the memcache server created for https://verifythis.github.io/

scala-cparser

A clean and simple parser for the C language for Scala

scala-fol

First-order logic language with utility functions and translation to SMT in Scala

scalac-wrapper

Simple demonstration how to use the Scala compiler to parse and typecheck source files

scalalr

LR(k) parser library for Scala

sv-benchmarks

Collection of Verification Tasks