Revert manual magic

This appeared to cause timeouts on DCA.
This commit is contained in:
Joe Farebrother
2025-03-26 09:23:49 +00:00
parent 0fa70db4c2
commit d23c3b8a74

View File

@@ -91,7 +91,7 @@ private predicate fileLocalFlowStep(DataFlow::Node nodeFrom, DataFlow::Node node
}
/** Holds if data flows from `source` to `sink`, including file wrapper classes. */
private predicate fileLocalFlow(FileOpen source, DataFlow::Node sink) {
private predicate fileLocalFlow(DataFlow::Node source, DataFlow::Node sink) {
fileLocalFlowStep*(source, sink)
}