hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-17 04:56:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #844 from markshannon/python-hide-magic-variables-in-test

Browse Source 
Python tests: Further hiding of special ESSA variables in tests
This commit is contained in:
Taus
2019-01-29 18:51:06 +01:00
committed by GitHub
parent 3d7821c83a 9820249c71
commit 83e2689645
5 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/test/library-tests/PointsTo/new/Definitions.ql
View File

@@ -4,5 +4,5 @@ import python
import Util
from EssaDefinition def, Variable v
where v = def.getSourceVariable()
where v = def.getSourceVariable() and not v instanceof SpecialSsaSourceVariable
select locate(def.getLocation(), "abdgk"), v.toString(), def.getAQlClass()

3
python/ql/test/library-tests/PointsTo/new/SSA.ql
View File

@@ -5,6 +5,7 @@ private import semmle.python.pointsto.PointsToContext
import Util
from EssaVariable v, EssaDefinition def, Object o, ClassObject cls
where def = v.getDefinition() and
where def = v.getDefinition() and
not v.getSourceVariable() instanceof SpecialSsaSourceVariable and
PointsTo::ssa_variable_points_to(v, _, o, cls, _)
select locate(def.getLocation(), "abcdegjqmns_"), v.getRepresentation() + " = " + def.getRepresentation(), repr(o), repr(cls)

2
python/ql/test/library-tests/PointsTo/new/SourceEdgeDefinitions.ql
View File

@@ -6,5 +6,5 @@ import semmle.python.pointsto.PointsTo
import Util
from SsaSourceVariable var, ControlFlowNode use, BasicBlock pred
where var.hasRefinementEdge(use, pred, _)
where var.hasRefinementEdge(use, pred, _) and not var instanceof SpecialSsaSourceVariable
select locate(pred.getLastNode().getLocation(), "ab"), var.(Variable), use.toString()

10
python/ql/test/library-tests/PointsTo/new/SourceNodeDefinitions.ql
View File

@@ -6,8 +6,10 @@ import semmle.python.pointsto.PointsTo
import Util
from SsaSourceVariable var, ControlFlowNode defn, string kind
where
var.hasDefiningNode(defn) and kind = "definition"
or
var.hasRefinement(_, defn) and kind = "refinement"
where not var instanceof SpecialSsaSourceVariable and
(
var.hasDefiningNode(defn) and kind = "definition"
or
var.hasRefinement(_, defn) and kind = "refinement"
)
select locate(defn.getLocation(), "ab"), var.(Variable), defn.toString(), kind

2
python/ql/test/library-tests/PointsTo/new/VarUses.ql
View File

@@ -5,5 +5,5 @@ import semmle.python.pointsto.PointsTo
import Util
from SsaSourceVariable var, ControlFlowNode use
where use = var.getAUse() or var.hasRefinement(use, _)
where (use = var.getAUse() or var.hasRefinement(use, _)) and not var instanceof SpecialSsaSourceVariable
select locate(use.getLocation(), "abd"), var.getName(), use.toString()