Module Validation

Import path

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.