Provides classes and predicates for reasoning about accesses to invalid pointers.
Import path
import codeql.rust.security.AccessInvalidPointerExtensionsImports
| rust | Top-level import for the Rust language pack |
Modules
| AccessInvalidPointer | Provides default sources, sinks and barriers for detecting accesses to invalid pointers, as well as extension points for adding your own. |