Package crypto.analysis

Interface ConstraintReporter

public interface ConstraintReporter

Method Summary

Modifier and Type	Method	Description
void	callToForbiddenMethod(ClassSpecification classSpecification, boomerang.jimple.Statement callSite, soot.SootMethod foundCall, Collection<soot.SootMethod> convert)
void	constraintViolated(ISLConstraint con, boomerang.jimple.Statement unit)
void	unevaluableConstraint(ISLConstraint con, boomerang.jimple.Statement unit)

Method Detail

constraintViolated

void constraintViolated(ISLConstraint con,
                        boomerang.jimple.Statement unit)

callToForbiddenMethod

void callToForbiddenMethod(ClassSpecification classSpecification,
                           boomerang.jimple.Statement callSite,
                           soot.SootMethod foundCall,
                           Collection<soot.SootMethod> convert)

unevaluableConstraint

void unevaluableConstraint(ISLConstraint con,
                           boomerang.jimple.Statement unit)