Query module ArithmeticWithExtremeValues

name
Use of extreme values in arithmetic expression
description
If a variable is assigned the maximum or minimum value for that variable’s type and is then used in an arithmetic expression, this may result in an overflow.
kind
problem
id
cpp/arithmetic-with-extreme-values
problem.severity
warning
precision
low
tags
security reliability external/cwe/cwe-190 external/cwe/cwe-191

Imports

Overflow
Security

Definitions related to security queries. These can be extended for specific code bases.

TaintTracking
cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

Classes