AnalyzerInputInterfacePointsDsl

Interface-point configuration within analyzerInput { interfacePoints { ... } }.

Constructors

Link copied to clipboard
constructor()

Properties

Link copied to clipboard
Link copied to clipboard

Legacy diagram-generation toggles. The current v4 pipeline rejects explicit values here; use the matching analyzerExecution { dataAndControlFlowAnalysis { ... } } or cascadingFailuresAnalysis toggles.

Link copied to clipboard

Entry point function (the PhASAR analysis root).

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
fun diagrams(block: DiagramsDsl.() -> Unit)

DSL accessor for diagrams { … } block.

Link copied to clipboard
fun sanitizer(symbol: String)

Declare a sanitizer function. Convenience for sanitizers.add(symbol). See sanitizers for when this is appropriate and when it is not.

Link copied to clipboard
fun sink(token: String, paramIndex: Int = 0, asil: ASIL? = null)

Declare a DSL sink function.

Link copied to clipboard
fun source(token: String, paramIndex: Int? = null, asil: ASIL? = null, usage: SourceUsage = SourceUsage.USED)

Declare a DSL source function.