@@ -29,7 +29,7 @@ predicate capturesLoopVariable(CallableExpr capturing, Loop loop, Variable var)
29
29
var = loop .getALoopVariable ( )
30
30
}
31
31
32
- module EscapingCaptureFlowSig implements DataFlow:: ConfigSig {
32
+ module EscapingCaptureFlowConfig implements DataFlow:: ConfigSig {
33
33
predicate isSource ( DataFlow:: Node node ) { capturesLoopVariable ( node .asExpr ( ) , _, _) }
34
34
35
35
predicate isSink ( DataFlow:: Node node ) {
@@ -66,7 +66,7 @@ module EscapingCaptureFlowSig implements DataFlow::ConfigSig {
66
66
}
67
67
}
68
68
69
- module EscapingCaptureFlow = DataFlow:: Global< EscapingCaptureFlowSig > ;
69
+ module EscapingCaptureFlow = DataFlow:: Global< EscapingCaptureFlowConfig > ;
70
70
71
71
import EscapingCaptureFlow:: PathGraph
72
72
86
86
escapingCapture ( capturing , loop , var , source , sink ) and
87
87
if capturing instanceof Lambda then descr = "lambda" else descr = "function"
88
88
select capturing , source , sink ,
89
- "This " + descr + " captures the loop variable $@, and may escape the loop by being stored $@." ,
90
- loop , var .getId ( ) , sink , "here "
89
+ "This " + descr + " captures the loop variable $@, and may escape the loop by being stored at $@." ,
90
+ loop , var .getId ( ) , sink , "this location "
0 commit comments