C#/Java/Ruby: Remove superfluous module members.

This commit is contained in:
Anders Schack-Mulligen
2023-07-13 11:38:35 +02:00
parent e6d7a83d41
commit 91de43f918
7 changed files with 0 additions and 22 deletions

View File

@@ -45,14 +45,6 @@ module Config implements DataFlow::StateConfigSig {
}
predicate isBarrier(DataFlow::Node node) { node instanceof Sanitizer }
predicate isBarrier(DataFlow::Node node, FlowState state) { none() }
predicate isAdditionalFlowStep(
DataFlow::Node node1, FlowState state1, DataFlow::Node node2, FlowState state2
) {
none()
}
}
module Flow = DataFlow::GlobalWithState<Config>;