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

Update doc for divideByZeroSanitizerGuard

Browse Source
This commit is contained in:
Chris Smowton
2022-06-21 12:11:19 +01:00
committed by GitHub
parent 736372ffd6
commit 8ae4c21a3e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
go/ql/src/experimental/CWE-369/DivideByZero.ql
View File

@@ -13,7 +13,7 @@ import DataFlow::PathGraph
import semmle.go.dataflow.internal.TaintTrackingUtil
/**
* A barrier-guard, which represents comparison and equality with zero.
* Holds if `g` is a barrier-guard which checks `e` is nonzero on `branch`.
*/
predicate divideByZeroSanitizerGuard(DataFlow::Node g, Expr e, boolean branch) {
exists(DataFlow::Node zero, DataFlow::Node checked |