Query module ArithmeticUncontrolled

name
Uncontrolled data in arithmetic expression
description
Arithmetic operations on uncontrolled data that is not validated can cause overflows.
kind
path-problem
problem.severity
warning
precision
medium
id
java/uncontrolled-arithmetic
tags
security external/cwe/cwe-190 external/cwe/cwe-191

Imports

ArithmeticCommon
PathGraph

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

SecurityTests

Test detection for the security pack.

TaintTracking

Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.

java

Provides all default Java QL imports.

Predicates

Classes