Predicate isSafeCommandArgument
Holds if ex is used safely as an argument to a command;
i.e. it’s not in the first position and it’s not a shell command.
Import path
import semmle.code.java.security.CommandArgumentspredicate isSafeCommandArgument(Expr ex)