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
path-problem
problem.severity
recommendation
precision
medium
id
java/extreme-value-arithmetic
tags
security reliability external/cwe/cwe-190 external/cwe/cwe-191

Imports

ArithmeticCommon
DataFlow

Provides classes for performing local (intra-procedural) and global (inter-procedural) data flow analyses.

PathGraph

Provides the query predicates needed to include a graph in a path-problem query.

java

Provides all default Java QL imports.

Predicates

Classes