Provides classes for modeling path-related APIs.
A data-flow node that performs path normalization. This is often needed in order to safely access paths.
A data-flow node that checks that a path is safe to access.
Provides a class for modeling new path normalization APIs.
Provides a class for modeling new path safety checks.