FlowGap

constructor(kind: FlowGapKind, sinkKey: String, sinkAsil: String, verdict: String, sources: List<FlowGapSource>, sinkLlvmSymbol: String, runStem: String, runConfigPath: String, runOutputDirectory: String, dataFlowSolver: String, aliasAnalysis: String, pathFeasibility: String)