diff --git a/cpp/ql/src/Security/CWE/CWE-611/XXE.ql b/cpp/ql/src/Security/CWE/CWE-611/XXE.ql index 6b73e50c963..50cd63acb40 100644 --- a/cpp/ql/src/Security/CWE/CWE-611/XXE.ql +++ b/cpp/ql/src/Security/CWE/CWE-611/XXE.ql @@ -43,6 +43,8 @@ module XxeConfig implements DataFlow::StateConfigSig { // flowstate value. node.asIndirectExpr().(XxeFlowStateTransformer).transform(flowstate) != flowstate } + + predicate neverSkip(DataFlow::Node node) { none() } } module XxeFlow = DataFlow::GlobalWithState;