Package crypto.constraints

Class ConstraintSolver

java.lang.Object

crypto.constraints.ConstraintSolver

public class ConstraintSolver
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static Collection<String>	predefinedPreds

Constructor Summary

Constructors

Constructor	Description
ConstraintSolver(AnalysisSeedWithSpecification object, Collection<boomerang.scene.ControlFlowGraph.Edge> callsOnObject, AnalysisReporter analysisReporter)

Method Summary

Modifier and Type	Method	Description
int	evaluateRelConstraints()
Collection<ISLConstraint>	getAllConstraints()
Collection<boomerang.scene.Statement>	getCollectedCalls()
AnalysisSeedWithSpecification	getObject()
Collection<CallSiteWithParamIndex>	getParameterAnalysisQuerySites()
com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue>	getParsAndVals()
com.google.common.collect.Multimap<CallSiteWithParamIndex,boomerang.scene.Type>	getPropagatedTypes()
Collection<ISLConstraint>	getRelConstraints()
Collection<ISLConstraint>	getRequiredPredicates()
CrySLRule	getSpecification()

Methods inherited from class java.lang.Object

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

Field Detail

predefinedPreds

public static final Collection<String> predefinedPreds

Constructor Detail

ConstraintSolver

public ConstraintSolver(AnalysisSeedWithSpecification object,
                        Collection<boomerang.scene.ControlFlowGraph.Edge> callsOnObject,
                        AnalysisReporter analysisReporter)

Method Detail

getPropagatedTypes

public com.google.common.collect.Multimap<CallSiteWithParamIndex,boomerang.scene.Type> getPropagatedTypes()

getParameterAnalysisQuerySites

public Collection<CallSiteWithParamIndex> getParameterAnalysisQuerySites()

getSpecification

public CrySLRule getSpecification()

getCollectedCalls

public Collection<boomerang.scene.Statement> getCollectedCalls()

getObject

public AnalysisSeedWithSpecification getObject()

getParsAndVals

public com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> getParsAndVals()

getAllConstraints

public Collection<ISLConstraint> getAllConstraints()

Returns:

the allConstraints

getRelConstraints

public Collection<ISLConstraint> getRelConstraints()

Returns:

the relConstraints

getRequiredPredicates

public Collection<ISLConstraint> getRequiredPredicates()

evaluateRelConstraints

public int evaluateRelConstraints()