Class Pass3bVerifier.InstructionContextQueue

  • Enclosing class:
    Pass3bVerifier

    private static final class Pass3bVerifier.InstructionContextQueue
    extends java.lang.Object
    An InstructionContextQueue is a utility class that holds (InstructionContext, ArrayList) pairs in a Queue data structure. This is used to hold information about InstructionContext objects externally --- i.e. that information is not saved inside the InstructionContext object itself. This is useful to save the execution path of the symbolic execution of the Pass3bVerifier - this is not information that belongs into the InstructionContext object itself. Only at "execute()"ing time, an InstructionContext object will get the current information we have about its symbolic execution predecessors.