C/C++: Don't force-include XxeFlowStateTransformer steps in XXE.ql.

This commit is contained in:
Anders Schack-Mulligen
2023-07-17 09:51:56 +02:00
parent ae24d68b5d
commit c01a494ea5

View File

@@ -43,6 +43,8 @@ module XxeConfig implements DataFlow::StateConfigSig {
// flowstate value. // flowstate value.
node.asIndirectExpr().(XxeFlowStateTransformer).transform(flowstate) != flowstate node.asIndirectExpr().(XxeFlowStateTransformer).transform(flowstate) != flowstate
} }
predicate neverSkip(DataFlow::Node node) { none() }
} }
module XxeFlow = DataFlow::GlobalWithState<XxeConfig>; module XxeFlow = DataFlow::GlobalWithState<XxeConfig>;