Live Variables Analysis

[Apanatshka]

Have a look at tests/test_live_variables.py, especially the last test, to see how you might use it. Basically you can get a tuple of the live variables before and after the effect of a CSTNode using get_metadata, but only if the control-flow graph construction code has a line like:

prev = self._make_cfg_node(statement, instance, prev) # AugAssign

So the line above makes sure that cst.AugAssign statements are in the control-flow graph as a nodes, which means that the live variables analysis attaches the before/after info to it.

You can of course add more nodes to the control-flow graph if you like. I've specifically added a node for cst.Call so you can easily get live variables info at calls on entities.