A static analysis framework for web applications. - View it on GitHub