Skip to content

Commit 662235b

Browse files
committed
Python: Use classRef instead of class_
Discussed offline with Taus
1 parent c09695a commit 662235b

File tree

1 file changed

+4
-4
lines changed
  • python/ql/src/experimental/semmle/python/frameworks

1 file changed

+4
-4
lines changed

python/ql/src/experimental/semmle/python/frameworks/Invoke.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@ private module Invoke {
7575
/** Provides models for the `invoke.context.Context` class */
7676
module Context {
7777
/** Gets a reference to the `invoke.context.Context` class. */
78-
private DataFlow::Node class_(DataFlow::TypeTracker t) {
78+
private DataFlow::Node classRef(DataFlow::TypeTracker t) {
7979
t.start() and
8080
result = DataFlow::importMember("invoke.context", "Context")
8181
or
@@ -85,17 +85,17 @@ private module Invoke {
8585
t.start() and
8686
result = invoke_attr("Context")
8787
or
88-
exists(DataFlow::TypeTracker t2 | result = class_(t2).track(t2, t))
88+
exists(DataFlow::TypeTracker t2 | result = classRef(t2).track(t2, t))
8989
}
9090

9191
/** Gets a reference to the `invoke.context.Context` class. */
92-
DataFlow::Node class_() { result = class_(DataFlow::TypeTracker::end()) }
92+
DataFlow::Node classRef() { result = classRef(DataFlow::TypeTracker::end()) }
9393

9494
/** Gets a reference to an instance of `invoke.context.Context`. */
9595
private DataFlow::Node instance(DataFlow::TypeTracker t) {
9696
t.start() and
9797
result.asCfgNode().(CallNode).getFunction() =
98-
invoke::context::Context::class_().asCfgNode()
98+
invoke::context::Context::classRef().asCfgNode()
9999
or
100100
t.start() and
101101
exists(Function func |

0 commit comments

Comments
 (0)