Python: use updated API

This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-15 21:26:05 +01:00
parent 1ee11ae7af
commit 416ba6a709

View File

@@ -65,7 +65,7 @@ private module LibraryCallbackSummaries {
final override ArgumentNode getACallback() { none() }
override predicate propagatesFlowExt(string input, string output, boolean preservesValue) {
override predicate propagatesFlow(string input, string output, boolean preservesValue) {
exists(int i |
i in [0 .. 10] and
input = "Argument[" + i + "]" and