Open
Description
Describe the bug
Casts are not consistently colored. Sometimes they are green-ish and sometimes blue-ish.
Version
The CodeQL and VS Code version in which the bug occurs.
CodeQL extension version: 1.6.0
CodeQL CLI version: 2.8.2
Platform: darwin arm64
Version: 1.65.0 (Universal)
Commit: b5205cc8eb4fbaa726835538cd82372cc0222d43
Date: 2022-03-02T11:11:20.886Z
Electron: 13.5.2
Chromium: 91.0.4472.164
Node.js: 14.16.0
V8: 9.1.269.39-electron.0
OS: Darwin arm64 21.3.0
To reproduce
- Open
ql/cpp/ql/src/Security/CWE/CWE-078/ExecTainted.ql
from the CodeQL repo (current commit ID 509a3493b6b1b742bc5408c9f38e9f423b727174) - Scroll to the bottom
- In the following line
the first occurrence
select sinkAsArgumentIndirection(sinkNode.getNode()), TPathNode1(sourceNode).(MergedPathNode), TPathNode2(sinkNode).(MergedPathNode),
(MergedPathNode)
is green-ish and the second blue-ish.
Expected behavior
Consistent coloring of casts.
Additional context