Module StackVariableReachability

Import path

semmle.code.cpp.controlflow.StackVariableReachability

Imports

cpp

Provides classes and predicates for working with C/C++/ObjC/ObjC++ code.

Predicates

bbSuccessorEntryReachesLoopInvariant

DEPRECATED: use the corresponding predicate in LocalScopeVariableReachability instead.

Classes

StackVariableReachability

DEPRECATED: use LocalScopeVariableReachability instead.

StackVariableReachabilityExt

DEPRECATED: use LocalScopeVariableReachabilityExt instead.

StackVariableReachabilityWithReassignment

DEPRECATED: use LocalScopeVariableReachabilityWithReassignment instead.