JayHorn

Static checker for Java

Webservice for JayHorn

Benchmarks for JayHorn

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

JayHorn’s bytecode transformations validator

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

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

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