Module Path::SafeAccessCheck
Provides a class for modeling new path safety checks.
Import path
import codeql.rust.ConceptsClasses
| Range | A data-flow node that checks that a path is safe to access in some way, for example by having a controlled prefix. |