Query module ArithmeticUncontrolled
- Uncontrolled data in arithmetic expression
- Arithmetic operations on uncontrolled data that is not validated can cause overflows.
- security external/cwe/cwe-190 external/cwe/cwe-191
Provides the query predicates needed to include a graph in a path-problem query.
Test detection for the security pack.
Provides classes for performing local (intra-procedural) and global (inter-procedural) taint-tracking analyses.
Provides all default Java QL imports.