Predicate AccessAfterLifetime::sourceValueScope
Holds if the value pointed to by source accesses a variable target with scope scope.
Import path
import codeql.rust.security.AccessAfterLifetimeExtensionspredicate sourceValueScope(Source source, Variable target, BlockExpr scope)