SourceCodeAnalysisFunctionBehavior

data class SourceCodeAnalysisFunctionBehavior(val kind: LlvmDerivedBehavior, val transfers: List<BitcodeTransferEdge> = emptyList(), val rawFacts: List<String> = emptyList(), val endpointMappings: List<String> = emptyList(), val reason: String, val outputEffects: List<SourceCodeAnalysisOutputEffect>? = null)

Constructors

constructor(kind: LlvmDerivedBehavior, transfers: List<BitcodeTransferEdge> = emptyList(), rawFacts: List<String> = emptyList(), endpointMappings: List<String> = emptyList(), reason: String, outputEffects: List<SourceCodeAnalysisOutputEffect>? = null)

Null means effects were not established. An empty list is required before proposing a NOP.