AnalyzerInputInterfacePointsDsl
Interface-point configuration within analyzerInput { interfacePoints { ... } }.
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
Link copied to clipboard
Functions
Link copied to clipboard
DSL accessor for diagrams { … } block.
Link copied to clipboard
Declare a sanitizer function. Convenience for sanitizers.add(symbol). See sanitizers for when this is appropriate and when it is not.