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

Merge pull request #11600 from geoffw0/offsetrangecheck

Browse Source 
C++: Fix cpp/offset-use-before-range-check performance.
This commit is contained in:
Mathias Vorreiter Pedersen
2022-12-15 16:44:49 +00:00
committed by GitHub
parent cca0722a2b 1d4631e231
commit 7d5e215a93
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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