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 List<String>	predefinedPreds

Constructor Summary

Constructors

Constructor	Description
ConstraintSolver(AnalysisSeedWithSpecification object, Collection<boomerang.jimple.Statement> collectedCalls, CrySLResultsReporter crySLResultsReporter)

Method Summary

Modifier and Type	Method	Description
int	evaluateRelConstraints()
List<ISLConstraint>	getAllConstraints()
ClassSpecification	getClassSpec()
Collection<boomerang.jimple.Statement>	getCollectedCalls()
AnalysisSeedWithSpecification	getObject()
Collection<CallSiteWithParamIndex>	getParameterAnalysisQuerySites()
com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue>	getParsAndVals()
com.google.common.collect.Multimap<CallSiteWithParamIndex,soot.Type>	getPropagatedTypes()
Set<ISLConstraint>	getRelConstraints()
CrySLResultsReporter	getReporter()
List<ISLConstraint>	getRequiredPredicates()

Methods inherited from class java.lang.Object

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

Field Detail

predefinedPreds

public static final List<String> predefinedPreds

Constructor Detail

ConstraintSolver

public ConstraintSolver(AnalysisSeedWithSpecification object,
                        Collection<boomerang.jimple.Statement> collectedCalls,
                        CrySLResultsReporter crySLResultsReporter)

Method Detail

getPropagatedTypes

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

getParameterAnalysisQuerySites

public Collection<CallSiteWithParamIndex> getParameterAnalysisQuerySites()

getClassSpec

public ClassSpecification getClassSpec()

getCollectedCalls

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

getReporter

public CrySLResultsReporter getReporter()

getObject

public AnalysisSeedWithSpecification getObject()

getParsAndVals

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

getAllConstraints

public List<ISLConstraint> getAllConstraints()

Returns:

the allConstraints

getRelConstraints

public Set<ISLConstraint> getRelConstraints()

Returns:

the relConstraints

getRequiredPredicates

public List<ISLConstraint> getRequiredPredicates()

evaluateRelConstraints

public int evaluateRelConstraints()