Python: Use LocalSourceNode for TornadoRouteRegex

RasmusWL · RasmusWL · commit 14bb10a361d8 · 2021-01-14T13:39:41.000+01:00
diff --git a/python/ql/src/semmle/python/frameworks/Tornado.qll b/python/ql/src/semmle/python/frameworks/Tornado.qll
@@ -476,7 +476,7 @@ private module Tornado {
 
     TornadoRouteRegex() {
       this instanceof StrConst and
-      DataFlow::localFlow(DataFlow::exprNode(this), setup.getUrlPatternArg())
+      DataFlow::exprNode(this).(DataFlow::LocalSourceNode).flowsTo(setup.getUrlPatternArg())
     }
 
     TornadoRouteSetup getRouteSetup() { result = setup }

Original file line number	Diff line number	Diff line change
`@@ -476,7 +476,7 @@ private module Tornado {`
`476`	`476`
`477`	`477`	`TornadoRouteRegex() {`
`478`	`478`	`this instanceof StrConst and`
`479`		`- DataFlow::localFlow(DataFlow::exprNode(this), setup.getUrlPatternArg())`
	`479`	`+ DataFlow::exprNode(this).(DataFlow::LocalSourceNode).flowsTo(setup.getUrlPatternArg())`
`480`	`480`	`}`
`481`	`481`
`482`	`482`	`TornadoRouteSetup getRouteSetup() { result = setup }`