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

Python: Exclude synth preupdate nodes from tt-consistency

Browse Source 
... and that should be it 👍 (so that's why I'm allowing the tests to
run on all data-flow nodes again)
This commit is contained in:
Rasmus Wriedt Larsen
2024-03-01 10:27:29 +01:00
parent bbe8c6dcaa
commit ff5f794750
2 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/consistency-queries/TypeTrackingConsistency.ql
View File

@@ -5,9 +5,9 @@ private import semmle.python.dataflow.new.internal.TypeTrackingImpl
private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
predicate unreachableNodeExclude(DataFlow::Node n) {
not exists(n.getLocation().getFile().getRelativePath())
or
n instanceof DataFlowPrivate::SyntheticPostUpdateNode
or
n instanceof DataFlowPrivate::SyntheticPreUpdateNode
}
}

2
python/ql/test/experimental/dataflow/typetracking/CONSISTENCY/TypeTrackingConsistency.expected
View File

@@ -1,2 +0,0 @@
unreachableNode
| attribute_tests.py:159:12:159:21 | [pre] ControlFlowNode for MyClass2() | Unreachable node in step of kind call. |