SourceCodeAnalysisOutputEffect
data class SourceCodeAnalysisOutputEffect(val operation: String, val endpoint: BitcodeFunctionEndpoint, val constant: String? = null)
Raw LLVM evidence and the conservative taint summary derived from it.