Django: A Dynamic Analysis Tool

Django is harder because there's so much more, so much more dynamic stuff going on. Some of it might not even be expressible statically. But we've got a very good type checker that works off of Python and then it has the ability for us to plug in into that with our specific knowledge of Django.