Статический анализ на основе обобщённого абстрактного синтаксического деревастатья