hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-06-23 05:37:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Produce CFG nodes for more reference expressions, like selector bases

Browse Source
This commit is contained in:
Owen Mansel-Chan
2026-05-29 12:49:41 +01:00
parent 642e567e48
commit 9b35117475
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll
View File

@@ -52,7 +52,13 @@ module GoCfg {
or
e instanceof Go::SelectorExpr and not e instanceof Go::ReferenceExpr
or
e instanceof Go::ReferenceExpr and not e.(Go::ReferenceExpr).isRvalue()
e instanceof Go::ReferenceExpr and
not e.(Go::ReferenceExpr).isRvalue() and
not e instanceof Go::SelectorExpr and
not e = any(Go::SelectorExpr sel).getBase() and
not e instanceof Go::IndexExpr and
not e = any(Go::IndexExpr idx).getBase() and
not e = any(Go::IndexExpr idx).getIndex()
or
e instanceof Go::ParenExpr
or