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

Python: Ignore match-related inconsistencies

Browse Source
This commit is contained in:
Rasmus Wriedt Larsen
2024-03-01 14:15:32 +01:00
parent 5d212514c6
commit bcd5c08ebd
2 changed files with 9 additions and 51 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -11,6 +11,15 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
or
// TODO: when adding support for proper content, handle **kwargs passing better!
n instanceof DataFlowPrivate::SynthDictSplatArgumentNode
or
// TODO: when adding support for proper content, handle unpacking tuples in match
// cases better, such as
//
// match (NONSOURCE, SOURCE):
// case (x, y): ...
exists(DataFlow::Node m | m.asCfgNode().getNode() instanceof MatchCapturePattern |
TypeTrackingInput::simpleLocalSmallStep*(m, n)
)
}
}

51
python/ql/test/experimental/dataflow/match/CONSISTENCY/TypeTrackingConsistency.expected
View File

@@ -1,51 +0,0 @@
unreachableNode
| test.py:72:15:72:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:72:15:72:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:72:18:72:18 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:72:18:72:18 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:73:20:73:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:74:18:74:18 | ControlFlowNode for y | Unreachable node in step of kind call. |
| test.py:79:15:79:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:79:15:79:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:79:18:79:18 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:79:18:79:18 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:80:20:80:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:81:18:81:18 | ControlFlowNode for y | Unreachable node in step of kind call. |
| test.py:89:15:89:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:89:15:89:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:89:19:89:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:89:19:89:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:90:20:90:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:96:15:96:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:96:15:96:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:96:19:96:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:96:19:96:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:97:18:97:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:103:15:103:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:103:15:103:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:103:19:103:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:103:19:103:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:104:20:104:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:110:15:110:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:110:15:110:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:110:19:110:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:110:19:110:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:111:18:111:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:117:20:117:20 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:117:20:117:20 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:117:28:117:28 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:117:28:117:28 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:118:20:118:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:119:18:119:18 | ControlFlowNode for y | Unreachable node in step of kind call. |
| test.py:125:20:125:20 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:125:20:125:20 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:126:20:126:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:132:20:132:20 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:132:20:132:20 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:133:18:133:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:151:27:151:27 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:151:27:151:27 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:152:18:152:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
| test.py:155:27:155:27 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:155:27:155:27 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
| test.py:156:20:156:20 | ControlFlowNode for x | Unreachable node in step of kind call. |