Python: Fixup broken patch

This commit is contained in:
Asger F
2025-01-23 13:49:03 +01:00
parent e4a1847dad
commit 9dfd1cc608

View File

@@ -45,9 +45,7 @@ module ModificationOfParameterWithDefault {
copyTarget(node) and state in [true, false]
}
private predicate observeDiffInformedIncrementalMode() { any() }
predicate copyTarget(DataFlow::Node node) {
private predicate copyTarget(DataFlow::Node node) {
node = API::moduleImport("copy").getMember(["copy", "deepcopy"]).getACall()
or
node.(DataFlow::MethodCallNode).calls(_, "copy")