Package edu.berkeley.cs.jqf.fuzz.ei

Class ExecutionIndex

  • All Implemented Interfaces:
    Comparable<ExecutionIndex>
    public class ExecutionIndex
extends Object
implements Comparable<ExecutionIndex>
    An execution index represents a unique point in a program's execution.

    This class uses a call-stack-with-counts representation of execution indexes, which was first introduced in the paper A randomized dynamic program analysis technique for detecting real deadlocks by Joshi et al. in PLDI 2009.

    The execution index is a basically a wrapper around an integer array of even length, in which every pair of elements represents an IID of a call site and its associated count.

    Author:
    Rohan Padhye