compiler/edu.cornell.cs.apl.viaduct.errors/InsecureControlFlowError

InsecureControlFlowError

class InsecureControlFlowError(node: HasSourceLocation, nodeLabel: Label, pc: Label) : InformationFlowError

Thrown when the control flow influences data in a way that violates security.

Parameters

node

AST node influenced by control flow.

nodeLabel

Security label of the node.

pc

Security label assigned to control flow.

Constructors

InsecureControlFlowError

fun InsecureControlFlowError(node: HasSourceLocation, nodeLabel: Label, pc: Label)

Functions

addSuppressed

fun addSuppressed(p0: Throwable)

fillInStackTrace

open fun fillInStackTrace(): Throwable

getLocalizedMessage

open fun getLocalizedMessage(): String

getStackTrace

open fun getStackTrace(): Array<StackTraceElement>

getSuppressed

fun getSuppressed(): Array<Throwable>

initCause

open fun initCause(p0: Throwable): Throwable

printStackTrace

open fun printStackTrace()

open fun printStackTrace(p0: PrintStream)

open fun printStackTrace(p0: PrintWriter)

setStackTrace

open fun setStackTrace(p0: Array<StackTraceElement>)

toDocument

override fun toDocument(): Document

toString

override fun toString(): String

Properties

cause

open val cause: Throwable?

message

open val message: String?