martinschaef

import javax.annotation.Nonnull;
import java.util.Iterator;
import java.util.Set;

import com.ibm.wala.cast.java.ipa.callgraph.JavaSourceAnalysisScope;
import com.ibm.wala.cast.java.loader.JavaSourceLoaderImpl;
import com.ibm.wala.classLoader.IClass;
import com.ibm.wala.ipa.cha.ClassHierarchyException;
import com.ibm.wala.ipa.cha.ClassHierarchyFactory;

martinschaef

{-
The JayHorn Grammar. 

A first attempt.
You have to install cabal (a Haskell thingy) with apt-get or brew.
Then you have to do:
cabal install alex
cabal install happy
cabal install bnfc

martinschaef

public class Maun {

	public static class Node {
		final Node next;
		final int data; 

		public Node(Node next, int data) {
			this.next = next;
			this.data = data;
		}

martinschaef

import com.google.common.base.Verify;

/**
 * @author schaef
 * Examples of how to use library stubs
 * to find more bugs with Python.
 */
public class BixieStubTest {

  public void guavaContracts01(int x) {

martinschaef

$StaticFields_SatBranches $Global_SatBranches;
int $float37;
int $double40;

Method <A: void <init>()>($in_0)
  Return types: java.lang.Throwable, int
  Returns: java.lang.Throwable $ex_, int $co_1

  locals:
    r0:    A

martinschaef

Hello World