InformationFlowAnalysis
Types
Companion
Link copied to clipboard
Functions
check
Link copied to clipboard
Asserts that the program does not violate information flow security, and throws (a subclass of) InformationFlowError otherwise.
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.
exportConstraintGraph
Link copied to clipboard
Outputs a DOT representation of the program's constraint graph to output.
label
Link copied to clipboard
Returns the inferred security label of the ObjectVariable declared by node.
Returns the inferred security label of the result of node.