Repositories list

• jayhorn

  Public
  Static checker for Java

  static-analysisverificationmodel-checking+ 1java

  Java

  •

  MIT License

  •21•84•19•0•Updated Dec 4, 2024Dec 4, 2024

• web-jayhorn

  Public
  Webservice for JayHorn

  CSS

  •

  MIT License

  •0•0•0•0•Updated Mar 4, 2017Mar 4, 2017

• eldarica

  Public
  The Eldarica model checker

  Scala

  •

  Other

  •23•0•0•0•Updated Feb 3, 2017Feb 3, 2017

• benchmarks

  Public
  Benchmarks for JayHorn

  Java

  •0•3•1•0•Updated Jan 22, 2017Jan 22, 2017

• JayHornSpecs

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

  Java

  •0•1•0•0•Updated Nov 4, 2016Nov 4, 2016

• benchtop

  Public
  JayHorn’s bytecode transformations validator

  0•0•0•0•Updated Aug 30, 2016Aug 30, 2016

• cav_experiments

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

  Java

  •

  MIT License

  •1•1•0•0•Updated May 17, 2016May 17, 2016

• DynSlicer

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

  Java

  •

  Apache License 2.0

  •4•6•0•0•Updated May 10, 2016May 10, 2016

• dljc

  Public
  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

  Python

  •0•0•0•0•Updated Mar 22, 2016Mar 22, 2016

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •711•0•0•0•Updated Feb 18, 2016Feb 18, 2016