Package crypto.analysis.errors

Class ConstraintError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ErrorWithObjectAllocation

crypto.analysis.errors.ConstraintError

All Implemented Interfaces:

IError

Direct Known Subclasses:

HardCodedError, InstanceOfError, NeverTypeOfError

public class ConstraintError
extends ErrorWithObjectAllocation

Constructor Summary

Constructors

Constructor	Description
ConstraintError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)

Method Summary

Modifier and Type	Method	Description
void	accept(ErrorVisitor visitor)
boolean	equals(Object obj)
static String	filterQuotes(String dirty)
ISLConstraint	getBrokenConstraint()
CallSiteWithExtractedValue	getCallSiteWithExtractedValue()
Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>>	getDataFlowPath()
int	hashCode()
String	toErrorMarkerString()

Methods inherited from class crypto.analysis.errors.ErrorWithObjectAllocation

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

ConstraintError

public ConstraintError(CallSiteWithExtractedValue cs,
                       CrySLRule rule,
                       IAnalysisSeed objectLocation,
                       ISLConstraint con)

Method Detail

getBrokenConstraint

public ISLConstraint getBrokenConstraint()

accept

public void accept(ErrorVisitor visitor)

getDataFlowPath

public Set<sync.pds.solver.nodes.Node<boomerang.jimple.Statement,boomerang.jimple.Val>> getDataFlowPath()

Overrides:

getDataFlowPath in class ErrorWithObjectAllocation

getCallSiteWithExtractedValue

public CallSiteWithExtractedValue getCallSiteWithExtractedValue()

toErrorMarkerString

public String toErrorMarkerString()

Specified by:

toErrorMarkerString in class AbstractError

filterQuotes

public static String filterQuotes(String dirty)

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractError

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractError