Package crypto.analysis.errors

Class HardCodedError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ErrorWithObjectAllocation

crypto.analysis.errors.ConstraintError

crypto.analysis.errors.HardCodedError

All Implemented Interfaces:

IError

public class HardCodedError
extends ConstraintError

Constructor Summary

Constructors

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

Method Summary

Methods inherited from class crypto.analysis.errors.ConstraintError

accept, equals, filterQuotes, getBrokenConstraint, getCallSiteWithExtractedValue, getDataFlowPath, hashCode, 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

HardCodedError

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