Static Analysis of Python Programs with Beniget
serge-sans-paille.github.io