compiler/io.github.aplcornell.viaduct.analysis/InformationFlowAnalysis

InformationFlowAnalysis

class InformationFlowAnalysis

Associates Variables with their Labels.

Types

object Companion : AnalysisProvider<InformationFlowAnalysis>

Functions

fun check()

Asserts that the program does not violate information flow security.

exportConstraintGraph

fun exportConstraintGraph(output: Writer)

Outputs a DOT representation of the program's constraint graph to output.

fun label(node: FunctionArgumentNode): Label

Returns the inferred security label of function arguments.

fun label(node: VariableDeclarationNode): Label

Returns the inferred security label of the Variable defined by node.

fun label(functionCall: FunctionCallNode, labelParameter: LabelVariable): Label

Returns the label of a label parameter of a function being called