Variable Scope Checking

When traversing a function’s CFG is there a way to see if a variable is leaving scope at the end of the block or to get a list of variables that are leaving scope at the end of a block?

  • Chris

No, scopes are not modeled in the CFG, and code in a basic block can possibly span multiple scopes.