C++: Add alert provenance plumbing.

This commit is contained in:
Anders Schack-Mulligen
2024-02-07 11:37:45 +01:00
parent 6991f5452f
commit f202661912
8 changed files with 135 additions and 111 deletions

View File

@@ -35,7 +35,7 @@ module XxeConfig implements DataFlow::StateConfigSig {
) {
// create additional flow steps for `XxeFlowStateTransformer`s
state2 = node2.asIndirectExpr().(XxeFlowStateTransformer).transform(state1) and
DataFlow::simpleLocalFlowStep(node1, node2)
DataFlow::simpleLocalFlowStep(node1, node2, _)
}
predicate isBarrier(DataFlow::Node node, FlowState flowstate) {