Open Issues (3)
Avoid NameError and AttributeError?
- Need flow analysis plus special rules
- e.g. all instance variables must be defined when __init__ returns (but what about calls it makes?)
- for local variables, it’s relatively easy
- for globals, how to do it?
- how to deal with recursive imports? blah!
Choice of names
- int/integer, str/string may be too confusing