compiler/edu.cornell.cs.apl.viaduct.security/Label/flowsTo

flowsTo

infix fun flowsTo(that: Label): Boolean
Content copied to clipboard

Check if information flow from this to that is safe.