This commit is contained in:
Joe Farebrother
2025-04-04 11:56:07 +01:00
parent 9fb1c31206
commit b5805503fe
2 changed files with 3 additions and 4 deletions

View File

@@ -11,7 +11,6 @@
import python
import LoopVariableCaptureQuery
import semmle.python.dataflow.new.DataFlow
import EscapingCaptureFlow::PathGraph
from

View File

@@ -3,11 +3,11 @@ import Variables.LoopVariableCapture.LoopVariableCaptureQuery
import utils.test.InlineExpectationsTest
module MethodArgTest implements TestSig {
string getARelevantTag() { result = ["capturedVar"] }
string getARelevantTag() { result = "capturedVar" }
predicate hasActualResult(Location location, string element, string tag, string value) {
exists(CallableExpr capturing, AstNode loop, Variable var |
escapingCapture(capturing, loop, var, _, _) and
exists(CallableExpr capturing, Variable var |
escapingCapture(capturing, _, var, _, _) and
element = capturing.toString() and
location = capturing.getLocation() and
tag = "capturedVar" and