Statyczna analiza programu