InsecureControlFlowError
fun InsecureControlFlowError(node: HasSourceLocation, nodeLabel: Label, pc: Label)
Content copied to clipboard
Parameters
node
AST node influenced by control flow.
nodeLabel
Security label of the node.
pc
Security label assigned to control flow.