Module Path :: SafeAccessCheck
Provides a class for modeling new path safety checks.
Import path
import semmle.python.Concepts
Classes
Range |
A data-flow node that checks that a path is safe to access. |