hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-01-30 14:52:57 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update ql/src/experimental/CWE-369/DivideByZero.ql

Browse Source 
Co-authored-by: Chris Smowton <smowton@github.com>
This commit is contained in:
monkey-junkie
2021-01-21 00:54:00 +03:00
committed by GitHub
parent 3251fb5c07
commit c8da633d7b
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
ql/src/experimental/CWE-369/DivideByZero.ql
View File

@@ -22,8 +22,7 @@ class DivideByZeroSanitizeGuard extends DataFlow::BarrierGuard {
|
zero.getNumericValue() = 0 and
(
sink.getType().getUnderlyingType() instanceof SignedIntegerType or
sink.getType().getUnderlyingType() instanceof UnsignedIntegerType
sink.getType().getUnderlyingType() instanceof IntegerType
) and
(
eqNode.eq(branch.booleanNot(), sink, zero) or