The Exakat Engine : smart static analysis for PHP
New analyzers for exceptions : catch priorities, uncaught exceptions (but thrown). Support for ext/lua and for PHP 7.1. Speed bump for preparation phase.
New analyzer : move to random_int(). Many minor bug fixes.
New analyzer that spot confusing variable names. Misc bug fixes