Module CommandArguments
Definitions for reasoning about lists and arrays that are to be used as arguments to an external process.
Import path
import semmle.code.java.security.CommandArguments
Imports
Collections |
Provides classes and predicates for reasoning about instances of |
SSA |
Provides classes and predicates for SSA representation (Static Single Assignment form). |
java |
Provides all default Java QL imports. |
Predicates
isSafeCommandArgument |
Holds if |