[cfe-dev] CFG blocks and variable scope

[Martin Doucha]

Hi,
I'm trying to write a static analysis for checking if pointers to local
variables leave the scope where the variable exists (and therefore
become invalid). I've figured how to use DataflowSolver for this but I
can't figure out how to find out in which CFG blocks the local variable
in question still exists. Is this info available somewhere or do I have
to hook into CFG builder and generate it myself?

Regards,
Martin Doucha