Package crypto.analysis.errors

Class IncompleteOperationError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.IncompleteOperationError

public class IncompleteOperationError
extends AbstractError

This class defines-IncompleteOperationError:

Found when the usage of an object may be incomplete. If there are multiple paths, and at least one path introduces an incomplete operation, the analysis indicates that there is a potential path with missing calls.

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(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled)	Create an IncompleteOperationError, if there is only one dataflow path, where the incomplete operation occurs.
IncompleteOperationError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Collection<CrySLMethod> expectedMethodsToBeCalled, boolean multiplePaths)	Create an IncompleteOperationError, if there is at least one dataflow path, where an incomplete operation occurs.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Collection<CrySLMethod>	getExpectedMethodCalls()
int	hashCode()
boolean	isMultiplePaths()
String	toErrorMarkerString()
String	toString()

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, formatMethodName, formatMethodNames, getErrorStatement, getLineNumber, getMethod, getObjectType, getRootErrors, getRule, getSeed, getSubsequentErrors

Methods inherited from class java.lang.Object

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

Constructor Detail

IncompleteOperationError

public IncompleteOperationError(IAnalysisSeed seed,
                                boomerang.scene.Statement errorStmt,
                                CrySLRule rule,
                                Collection<CrySLMethod> expectedMethodsToBeCalled)

Create an IncompleteOperationError, if there is only one dataflow path, where the incomplete operation occurs.

Parameters:

seed - the seed for the incomplete operation

errorStmt - the statement of the last usage of the seed

rule - the CrySL rule for the seed

expectedMethodsToBeCalled - the methods that are expected to be called

IncompleteOperationError

public IncompleteOperationError(IAnalysisSeed seed,
                                boomerang.scene.Statement errorStmt,
                                CrySLRule rule,
                                Collection<CrySLMethod> expectedMethodsToBeCalled,
                                boolean multiplePaths)

Create an IncompleteOperationError, if there is at least one dataflow path, where an incomplete operation occurs.

Parameters:

seed - the seed for the incomplete operation

errorStmt - the statement of the last usage of the seed

rule - the CrySL rule for the seed

expectedMethodsToBeCalled - the methods that are expected to be called

multiplePaths - set to true, if there are multiple paths (default: false)

Method Detail

getExpectedMethodCalls

public Collection<CrySLMethod> getExpectedMethodCalls()

isMultiplePaths

public boolean isMultiplePaths()

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

toString

public String toString()

Overrides:

toString in class AbstractError