Что такое статический анализатор и как он используется в разработке на PHP?