Static program analysis

Вики

Анализ завершения

Анализ завершения Анализ завершения в информатике Анализ завершения программы определяет, завершается ли она для каждого входного сигнала.  Проблема остановки неразрешима, […]

Вики

Анализ побега

Анализ побега Основы Escape-анализа Escape-анализ — это метод оптимизации, который определяет, может ли указатель на объект оставаться в стеке вызовов. 

Вики

Анализ указателя

Анализ указателя Анализ указателей в информатике Анализ указателей устанавливает, какие указатели могут указывать на переменные или места хранения.  Является компонентом

Вики

Анализ псевдонимов

Анализ псевдонимов Основы анализа псевдонимов Анализ псевдонимов используется для определения доступа к памяти несколькими способами.  Псевдонимы — это указатели, указывающие

Вики

Анализ зависимостей

Анализ зависимостей Анализ зависимостей в компиляторах Зависимости определяют порядок выполнения операторов в программе.  Существуют управляющие и данные зависимости, влияющие на

Вики

Граф вызовов

График вызовов Основы графиков вызовов Граф вызовов представляет отношения между подпрограммами в программе.  Каждый узел представляет процедуру, а каждое ребро

Вики

Статический анализ программы

Статический программный анализ Основы статического анализа Статический анализ — это анализ программ без их выполнения, в отличие от динамического анализа. 

Вики

Логика Хоара

Логика Хоара Логика Хоара — формальная система для обоснования корректности компьютерных программ.  Предложена Тони Хором в 1969 году и доработана

Вики

Анализ завершения

Анализ завершения Анализ завершения в информатике связан с определением, вычисляет ли программа итоговую функцию.  Проблема остановки неразрешима, что делает анализ

Прокрутить вверх