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

Class JanalaExecutionIndexingState

java.lang.Object

edu.berkeley.cs.jqf.fuzz.ei.state.AbstractExecutionIndexingState

edu.berkeley.cs.jqf.fuzz.ei.state.JanalaExecutionIndexingState

All Implemented Interfaces:

TraceEventVisitor

public class JanalaExecutionIndexingState
extends AbstractExecutionIndexingState
implements TraceEventVisitor

ExecutionIndexingState implementation for Janala instrumentation framework.

Author:

Rohan Padhye

See Also:

• ExecutionIndex

Constructor Summary

Constructors

Constructor	Description
JanalaExecutionIndexingState()
JanalaExecutionIndexingState(JanalaExecutionIndexingState eis)

Method Summary

Modifier and Type	Method	Description
void	visitAllocEvent(AllocEvent e)
void	visitBranchEvent(BranchEvent e)
void	visitCallEvent(CallEvent c)
void	visitReadEvent(ReadEvent e)
void	visitReturnEvent(ReturnEvent r)

Methods inherited from class edu.berkeley.cs.jqf.fuzz.ei.state.AbstractExecutionIndexingState

getExecutionIndex, getExecutionIndex, getLastEventIid, popReturn, pushCall, setLastEventIid

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

JanalaExecutionIndexingState

public JanalaExecutionIndexingState()

JanalaExecutionIndexingState

public JanalaExecutionIndexingState(JanalaExecutionIndexingState eis)

Method Details

visitCallEvent

public void visitCallEvent(CallEvent c)

Specified by:

visitCallEvent in interface TraceEventVisitor

visitReturnEvent

public void visitReturnEvent(ReturnEvent r)

Specified by:

visitReturnEvent in interface TraceEventVisitor

visitAllocEvent

public void visitAllocEvent(AllocEvent e)

Specified by:

visitAllocEvent in interface TraceEventVisitor

visitBranchEvent

public void visitBranchEvent(BranchEvent e)

Specified by:

visitBranchEvent in interface TraceEventVisitor

visitReadEvent

public void visitReadEvent(ReadEvent e)

Specified by:

visitReadEvent in interface TraceEventVisitor