CodeQL library for Java/Kotlin
codeql/java-all 1.1.0 (changelog, source)
Search

Module Validation

Import path

import semmle.code.java.security.Validation

Imports

Expr

Provides classes for working with Java expressions.

Guards

Provides classes and predicates for reasoning about guards and the control flow elements controlled by those guards.

SSA

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

Predicates

validationMethod

Holds if the method method validates its arg-th argument in some way.

Classes

ValidatedVariableAccess

A variable access that is guarded by a string verification method.