Module AccessInvalidPointer

Provides default sources, sinks and barriers for detecting accesses to invalid pointers, as well as extension points for adding your own.

Import path

import codeql.rust.security.AccessInvalidPointerExtensions

Barrier	A barrier for invalid pointer accesses.
Sink	A data flow sink for invalid pointer accesses, that is, a pointer dereference.
Source	A data flow source for invalid pointer accesses, that is, an operation where a pointer becomes invalid.