Package crypto.analysis.errors

Class IncompleteOperationError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ErrorWithObjectAllocation

crypto.analysis.errors.IncompleteOperationError

All Implemented Interfaces:

IError

public class IncompleteOperationError
extends ErrorWithObjectAllocation

This class defines-IncompleteOperationError: Found when the usage of an object may be incomplete For example a Cipher object may be initialized but never been used for encryption or decryption, this may render the code dead. This error heavily depends on the computed call graph (CHA by default)

Constructor Summary

Constructors

Constructor	Description
IncompleteOperationError(boomerang.jimple.Statement errorLocation, boomerang.jimple.Val errorVariable, CrySLRule rule, IAnalysisSeed objectLocation, Collection<soot.SootMethod> expectedMethodsToBeCalled)

Method Summary

Modifier and Type	Method	Description
void	accept(ErrorVisitor visitor)
boolean	equals(Object obj)
boomerang.jimple.Val	getErrorVariable()
Collection<soot.SootMethod>	getExpectedMethodCalls()
int	hashCode()
String	toErrorMarkerString()

Methods inherited from class crypto.analysis.errors.ErrorWithObjectAllocation

getDataFlowPath, getObjectLocation, getObjectType

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

IncompleteOperationError

public IncompleteOperationError(boomerang.jimple.Statement errorLocation,
                                boomerang.jimple.Val errorVariable,
                                CrySLRule rule,
                                IAnalysisSeed objectLocation,
                                Collection<soot.SootMethod> expectedMethodsToBeCalled)

Method Detail

getErrorVariable

public boomerang.jimple.Val getErrorVariable()

getExpectedMethodCalls

public Collection<soot.SootMethod> getExpectedMethodCalls()

accept

public void accept(ErrorVisitor visitor)

toErrorMarkerString

public String toErrorMarkerString()

Specified by:

toErrorMarkerString in class AbstractError

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractError

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractError