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

CPP: Replace call to getEnclosingAccessHolder() with getEnclosingElement().

Browse Source
This commit is contained in:
Geoffrey White
2019-01-21 18:17:31 +00:00
parent 00ef80dfc5
commit fab8e526f3
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/jsf/4.10 Classes/AV Rule 79.ql
View File

@@ -191,9 +191,7 @@ predicate freedInSameMethod(Resource r, Expr acquire) {
exists(Expr releaseExpr, string kind |
r.acquisitionWithRequiredKind(acquire, kind) and
releaseExpr = r.getAReleaseExpr(kind) and
releaseExpr.getEnclosingFunction().getEnclosingAccessHolder*() = acquire.getEnclosingFunction()
// here, `getEnclosingAccessHolder*` allows us to go from a nested function or lambda
// expression to the class method enclosing it.
releaseExpr.getEnclosingElement*() = acquire.getEnclosingFunction()
)
}