Module NumericCastCommon

Import path

Security.CWE.CWE-681.NumericCastCommon

Imports

Guards
Overflow
RangeAnalysis

Provides classes and predicates for range analysis.

SSA

Provides classes and predicates for SSA representation (Static Single Assignment form).

java

Provides all default Java QL imports.

Predicates

Classes