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

Better names for helper predicates.

Browse Source
This commit is contained in:
Taus Brock-Nannestad
2019-07-05 16:38:39 +02:00
parent 703139142a
commit 4ddebb9349
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/src/semmle/python/pointsto/PointsTo.qll
View File

@@ -669,12 +669,12 @@ private module InterModulePointsTo {
exists(string name, ModuleObjectInternal mod, Module m |
mod.getSourceModule() = m and m = result.getScope() and
PointsToInternal::pointsTo(f.getModule(name), context, mod, _) and
result = ssa_helper(f, name, m)
result = ssa_variable_for_module_attribute_helper(f, name, m)
)
}
pragma [noinline]
private EssaVariable ssa_helper(ImportMemberNode f, string name, Module m) {
private EssaVariable ssa_variable_for_module_attribute_helper(ImportMemberNode f, string name, Module m) {
result.getSourceVariable().getName() = name and result.getAUse() = f
and m = f.getEnclosingModule()
}

2
python/ql/src/semmle/python/types/Extensions.qll
View File

@@ -146,7 +146,7 @@ class ReModulePointToExtension extends PointsToExtension {
}
pragma [noinline]
predicate pointsTo_helper(Context context) {
private predicate pointsTo_helper(Context context) {
context.appliesTo(this)
}