Repositories list

• jayhorn

  Public
  Static checker for Java

  javastatic-analysisverification+ 1

  javastatic-analysisverificationmodel-checking

  Java

  •

  MIT License

  •2222 forks•8787 stars•1919 issues•00 pull requests•Updated Jan 16, 2025Jan 16, 2025

• web-jayhorn

  Public
  Webservice for JayHorn

  CSS

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 4, 2017Mar 4, 2017

• eldarica

  Public
  The Eldarica model checker

  Scala

  •

  Other

  •2525 forks•00 stars•00 issues•00 pull requests•Updated Feb 3, 2017Feb 3, 2017

• benchmarks

  Public
  Benchmarks for JayHorn

  Java

  •00 forks•33 stars•11 issue•00 pull requests•Updated Jan 22, 2017Jan 22, 2017

• JayHornSpecs

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

  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 4, 2016Nov 4, 2016

• benchtop

  Public
  JayHorn’s bytecode transformations validator

  00 forks•00 stars•00 issues•00 pull requests•Updated Aug 30, 2016Aug 30, 2016

• cav_experiments

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

  Java

  •

  MIT License

  •11 fork•11 star•00 issues•00 pull requests•Updated May 17, 2016May 17, 2016

• DynSlicer

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

  Java

  •

  Apache License 2.0

  •44 forks•66 stars•00 issues•00 pull requests•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

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 22, 2016Mar 22, 2016

• soot

  Public
  Soot - A Java optimization framework

  Java

  •

  GNU Lesser General Public License v2.1

  •720720 forks•00 stars•00 issues•00 pull requests•Updated Feb 18, 2016Feb 18, 2016