hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Better solution.

Browse Source
This commit is contained in:
Geoffrey White
2022-12-07 18:00:38 +00:00
parent 627162b343
commit 1d4631e231
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/Best Practices/Likely Errors/OffsetUseBeforeRangeCheck.ql
View File

@@ -15,7 +15,7 @@
import cpp
bindingset[v, before]
pragma[nomagic]
predicate beforeArrayAccess(Variable v, ArrayExpr access, Expr before) {
exists(LogicalAndExpr andexpr |
access.getArrayOffset() = v.getAnAccess() and
@@ -24,7 +24,7 @@ predicate beforeArrayAccess(Variable v, ArrayExpr access, Expr before) {
)
}
bindingset[v, after]
pragma[nomagic]
predicate afterArrayAccess(Variable v, ArrayExpr access, Expr after) {
exists(LogicalAndExpr andexpr |
access.getArrayOffset() = v.getAnAccess() and