Beniget is a collection of Compile-time analyse on Python Abstract Syntax Tree (AST). It is a building block for writing static analyzer or compiler for Python.