Beast code in Giters

JayHorn's repositories

Static checker for Java

Language:JavaMIT79 12 112

Use Randoop, Daikon, ASM, and Soot to generate executable error traces.

Language:JavaApache-2.05 40

Benchmarks for JayHorn

Language:Java2 4 1

Experimental setup. Look at TravisCI to see the results of the experiments.

Language:JavaMIT1 80

Specifications for Java library classes/interfaces (e.g. List) to enable analysis with JayHorn.

Language:Java1 20

JayHorn’s bytecode transformations validator

030

do-like-javac (or dljc for short) is a tool for monitoring the build process of a Java project and recording information passed to javac

Language:Python030

The Eldarica model checker

Language:ScalaNOASSERTION070

Soot - A Java optimization framework

Language:JavaLGPL-2.1020

Webservice for JayHorn

Language:CSSMIT020