Files
codeql/ql/src/experimental/IntegerOverflow/IntegerOverflow.ql
2020-03-11 11:04:42 +00:00

15 lines
351 B
Plaintext

/**
* @name Integer overflow
* @description Integer overflow can cause incorrect results or program crashes.
* @kind problem
* @problem.severity warning
* @id go/integer-overflow
*/
import go
import RangeAnalysis
from Expr expr
where exprMayOverflow(expr) or exprMayUnderflow(expr)
select expr, "this expression may cause an integer overflow"