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

Python: fix comment and source uses

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2020-09-10 08:36:00 +02:00
parent b1567827a0
commit 7b10a3a546
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
python/ql/src/semmle/python/essa/SsaCompute.qll
View File

@@ -436,8 +436,8 @@ private module SsaComputeImpl {
predicate adjacentUseUseSameVar(ControlFlowNode use1, ControlFlowNode use2) {
exists(SsaSourceVariable v, BasicBlock b1, int i1, BasicBlock b2, int i2 |
adjacentVarRefs(v, b1, i1, b2, i2) and
variableUse(v, use1, b1, i1) and
variableUse(v, use2, b2, i2)
variableSourceUse(v, use1, b1, i1) and
variableSourceUse(v, use2, b2, i2)
)
}
@@ -465,6 +465,10 @@ private module SsaComputeImpl {
)
}
/**
* Holds if `def` defines `v` at the specified position.
* Phi nodes are placed at index -1.
*/
cached
predicate definesAt(EssaDefinition def, SsaSourceVariable v, BasicBlock b, int i) {
exists(ControlFlowNode defNode |