Package crypto.analysis

Class PredicateHandler

java.lang.Object

crypto.analysis.PredicateHandler

public class PredicateHandler
extends Object

Constructor Summary

Constructors

Constructor	Description
PredicateHandler(CryptoScanner cryptoScanner)

Method Summary

Modifier and Type	Method	Description
boolean	addNewPred(IAnalysisSeed seedObj, boomerang.scene.Statement statement, boomerang.scene.Val variable, EnsuredCrySLPredicate ensPred)
void	checkPredicates()
void	expectPredicate(IAnalysisSeed object, boomerang.scene.Statement stmt, CrySLPredicate predToBeEnsured)
Set<EnsuredCrySLPredicate>	getExistingPredicates(boomerang.scene.Statement stmt, boomerang.scene.Val seed)

Methods inherited from class java.lang.Object

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

Constructor Detail

PredicateHandler

public PredicateHandler(CryptoScanner cryptoScanner)

Method Detail

addNewPred

public boolean addNewPred(IAnalysisSeed seedObj,
                          boomerang.scene.Statement statement,
                          boomerang.scene.Val variable,
                          EnsuredCrySLPredicate ensPred)

getExistingPredicates

public Set<EnsuredCrySLPredicate> getExistingPredicates(boomerang.scene.Statement stmt,
                                                        boomerang.scene.Val seed)

expectPredicate

public void expectPredicate(IAnalysisSeed object,
                            boomerang.scene.Statement stmt,
                            CrySLPredicate predToBeEnsured)

checkPredicates

public void checkPredicates()