hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 04:39:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

python: longer name and longer comment

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-05-03 18:23:08 +02:00
parent 6d9fd24f1b
commit 64068f1c88
2 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/lib/semmle/python/ApiGraphs.qll
View File

@@ -987,7 +987,7 @@ module API {
DataFlow::LocalSourceNode trackUseNode(DataFlow::LocalSourceNode src) {
Stages::TypeTracking::ref() and
result = trackUseNode(src, DataFlow::TypeTracker::end()) and
result instanceof DataFlow::LocalSourceNodeNotModule
result instanceof DataFlow::LocalSourceNodeNotModuleVariableNode
}
/**

6
python/ql/lib/semmle/python/dataflow/new/internal/LocalSources.qll
View File

@@ -140,10 +140,12 @@ class LocalSourceNode extends Node {
/**
* A LocalSourceNode that is not a ModuleVariableNode
* This class provides a positive formulation of that in its charpred.
*
* Aka FutureLocalSourceNode (see FutureWork below), but until the future is here...
*/
class LocalSourceNodeNotModule extends LocalSourceNode {
class LocalSourceNodeNotModuleVariableNode extends LocalSourceNode {
cached
LocalSourceNodeNotModule() {
LocalSourceNodeNotModuleVariableNode() {
this instanceof ExprNode
or
this.asVar() instanceof ScopeEntryDefinition