Type analysis for python
Link to Python 2.7 specification: docs.python.org/2.7/reference/
Antlr 3.0 javadoc: www.antlr3.org/api/Java/index.html
Use Make FILES=tests/*.scala
To run the analysis on the hole test suite
Good source on what happens with type declarations. http://stackoverflow.com/questions/100003/what-is-a-metaclass-in-python
Classic vs New class style method/property resolving http://stackoverflow.com/questions/1848474/method-resolution-order-mro-in-new-style-python-classes
Hidden features of python http://stackoverflow.com/questions/101268/hidden-features-of-python
Weird members http://docs.python.org/2/library/inspect.html#types-and-members
This is missing in the CFG
lambda
generatorexp
yield