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

Hotfix: Go: exclude method receivers from dead-store-of-field query

Browse Source
This commit is contained in:
Chris Smowton
2023-05-23 14:31:25 +01:00
parent 8b28848c82
commit 99c211955b
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
go/ql/src/RedundantCode/DeadStoreOfField.ql
View File

@@ -38,6 +38,9 @@ predicate escapes(DataFlow::Node nd) {
// if `nd` is passed to a function, then it escapes
nd = any(DataFlow::CallNode c).getASyntacticArgument()
or
// if `nd` is the receiver of a function, then it escapes
nd = any(DataFlow::MethodCallNode c).getReceiver()
or
// if `nd` has its address taken, then it escapes
exists(AddressExpr ae | nd.asExpr() = ae.getOperand())
or