Static Analysis by Antoine Mine, David Schmidt | Lex | Lex