compiler/edu.cornell.cs.apl.viaduct.analysis/InformationFlowAnalysis/check

check

fun ExpressionNode.check(solver: ConstraintSolver<InformationFlowError>, parameterMap: Map<String, Label>, pcLabel: AtomicLabelTerm)
Content copied to clipboard

Generate information flow constraints for an expression.


fun StatementNode.check(solver: ConstraintSolver<InformationFlowError>, parameterMap: Map<String, Label>, pcLabel: AtomicLabelTerm)
Content copied to clipboard

Generate information flow constraints for a statement.


fun check()
Content copied to clipboard

Asserts that the program does not violate information flow security, and throws (a subclass of) InformationFlowError otherwise.