For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Validation

Module Validation


                                import semmle.code.java.security.Validation

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).

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

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