dstebila / pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs
13 stars 0 forks source link

Better scopes #31

Closed mckaguem closed 3 years ago

mckaguem commented 3 years ago

Added a new Scopes object to NodeTraverser that keeps better track of variables and function parameters in scope. Made some other things easier.

Also refactored rename_variables to use generators. Not sure if it was useful in the end or not! But now rename_variables doesn't assume that it is working on a FunctionDef. New function rename_function_body_variables has the old functionality.