A taint-tracking configuration for unsafe user input that is used to validate against path traversal, but is insufficient and remains vulnerable to Partial Path Traversal.
Import path
import semmle.code.java.security.PartialPathTraversalQueryA taint-tracking configuration for unsafe user input that is used to validate against path traversal, but is insufficient and remains vulnerable to Partial Path Traversal.
import semmle.code.java.security.PartialPathTraversalQuery