Вопрос: в природе встречаются два типа статического анализа программ, один

Question

Вопрос: в природе встречаются два типа статического анализа программ, один

базируется, по-сути дела на абстрактной интерпретации всей программы, как целого. Второй - эвристики вроде PVS-studio, где учитываются даже комментарии, а правила нечётки. Ко второму случаю примыкают всякие ML-решения.

Как называются эти две разновидности?

#compilerdev #it #programming #russian

0

30.09.2023

3 ответов

28 просмотров

Konstantin Romanov Автор вопроса

Alexander Chichigin
Я бы сказал, что первый вид называется "верификаци...

Ну да. Spellcheck по комментариям — это тоже стат анализ

0

30.09.2023

Alexander Chichigin

Symbolic execution — только один из дюжины вариантов. Tree pattern matching — тоже только один простейший вариант, там может быть и dataflow, и тот же symbolic execution, и что угодно другое, что авторы решили сделать.

0

30.09.2023

Alexander Chichigin · Accepted Answer

Alexander Chichigin

Я бы сказал, что первый вид называется "верификация", по крайней мере, если это sound анализ, а второй — просто "статический анализ". Потому что Lint — тоже ведь статический анализатор. 😊

0

30.09.2023

185 похожих чатов

Вопрос: в природе встречаются два типа статического анализа программ, один

3 ответов

Похожие вопросы