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

Python points-to: Fix up re extension.

Browse Source
This commit is contained in:
Mark Shannon
2019-05-15 11:24:40 +01:00
parent bf78c62594
commit 2b72a50dbf
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -109,10 +109,10 @@ class ReModulePointToExtension extends PointsToExtension {
}
override predicate pointsTo(Context context, ObjectInternal value, ControlFlowNode origin) {
value = Module::named("sre_constants").attr("SRE_FLAG_" + name) and
exists(ModuleObjectInternal sre_constants |
exists(ModuleObjectInternal sre_constants, CfgOrigin orig |
sre_constants.getName() = "sre_constants" and
sre_constants.attribute(name, value, CfgOrigin::fromCfgNode(origin))
sre_constants.attribute("SRE_FLAG_" + name, value, orig) and
origin = orig.asCfgNodeOrHere(this)
)
and context.appliesTo(this)
}