Skip to content

Commit e76f02b

Browse files
committed
Python: Minor refactor to use LocalSourceNode
This just more correctly reflects the reality, since the type-tracking predicate just below only holds for LocalSourceNode anyway.
1 parent dd131e6 commit e76f02b

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

python/ql/src/semmle/python/frameworks/Aiohttp.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -159,7 +159,7 @@ module AiohttpWebModel {
159159
* Use `Request::instance()` predicate to get
160160
* references to instances of `aiohttp.web.Request`.
161161
*/
162-
abstract class InstanceSource extends DataFlow::Node { }
162+
abstract class InstanceSource extends DataFlow::LocalSourceNode { }
163163

164164
/** Gets a reference to an instance of `aiohttp.web.Request`. */
165165
private DataFlow::LocalSourceNode instance(DataFlow::TypeTracker t) {
@@ -240,4 +240,6 @@ module AiohttpWebModel {
240240
]
241241
}
242242
}
243+
244+
243245
}

0 commit comments

Comments
 (0)