CodeQL library for C/C++
codeql/cpp-all 2.0.2 (changelog, source)
Search

Member predicate TypeTracking::TypeTracker::step

Gets the summary that corresponds to having taken a forwards heap and/or inter-procedural step from nodeFrom to nodeTo.

TypeTracker step(LocalSourceNode nodeFrom, LocalSourceNode nodeTo)