compiler/edu.cornell.cs.apl.viaduct.security.solver/ConstraintSolver

ConstraintSolver

Given a set of information flow constraints, finds a label assignment to all variables that minimizes the trust assigned to each variable (if one exists).

Parameters

type of exceptions thrown when there are unsatisfiable constraints

Constructors

ConstraintSolver

fun ConstraintSolver()

Functions

addEqualToConstraint

fun addEqualToConstraint(lhs: AtomicLabelTerm, rhs: AtomicLabelTerm, failWith: (from: Label, to: Label) -> T)

Add the constraint lhs == rhs to the system.

addFlowsToConstraint

fun addFlowsToConstraint(lhs: AtomicLabelTerm, rhs: LabelTerm, failWith: (from: Label, to: Label) -> T)

Add the constraint lhs.flowsTo(rhs) to the system.

addNewVariable

fun addNewVariable(label: Any): LabelVariable

Create a fresh variable and add it to the system.

exportDotGraph

fun exportDotGraph(writer: Writer?)

Output the constraints as a DOT graph.

solve

fun solve(): ConstraintSolution

Find the least trust solution to the set of constraints in the system.

variableCount

fun variableCount(): Int

Return the number of variables in the constraint system.