Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
Граф вызовов (call graph)
Предмет
Программирование
Разместил
🤓 RegKa
👍 Проверено Автор24
абстрактное представление вызовов связей между подпрограммами в программе.
Научные статьи на тему «Граф вызовов (call graph)»
Совершенствование статического анализа программного кода на основе графа явных вызовов
Целью данного исследования является создание алгоритмов статического анализа для поиска всевозможных последовательностей вызовов функций, приводящих к определенной точке в программе. Для достижения данной цели были разработаны алгоритмы, которые находят всевозможные пути между двумя вершинами графа явных вызовов функций. Работа алгоритмов осуществляется в два этапа: 1) на подготовительном этапе строится новый граф на основе графа вызовов, из которого удаляются избыточные вершины и дуги; 2) на втором этапе происходит поиск в новом графе возможных путей от корневой вершины к заданной. Также в работе представлено экспериментальное сравнение разработанных алгоритмов с ближайшим аналогом алгоритмом Йена.
Creative Commons
Научный журнал
Approach to analyzing executable code based on the software architecture recovery
The article discusses a new approach to obtaining additional information about the software module under study based on the preliminary software architecture recovery during the executable code analysis. As a result, it is possible to reduce the requirements for the resources spent by limiting the field of research, rational choice of priorities, and abstraction from secondary elements. The paper demonstrates the feasibility of restoring the software architecture in a two-step process: first, the separate components are isolated, and then their purposes and relationships are determined. An automated method for decomposing a software module is proposed, which allows allocating components corresponding to static libraries, classes, and their groups. This method is based on the functions clustering by the distances between them in the address space and on the call graph. A description of the implementation of the developed method as a plug-in for the IDA disassembler is given.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Система Управления Базами Данных (СУБД)
программное обеспечение (информационная система), осуществляющее весь спектр операций по управлению базами данных, к которым относятся сама организация хранения данных, обработка инструкций SQL, организация резервного копирования, восстановление резервных копий и т.п.
HTTP (Hypertext Transfer Protocol)
протокол передачи гипертекста.
- Порядок графа (graph order)
- Граф ориентированный (oriented graph)
- Граф (graph, linear complex, complex)
- Граф потока управления (control flow graph)
- Опцион call
- Катастрофические вызовы
- Нерегулярные вызовы
- Традиционные вызовы
- Trigger ( Вызовите )
- Стек вызовов
- Графа
- Графит
- Графы
- Граф
- Шаровидный графит, сфероидальный графит
- Ориентированный граф (направленный граф)
- Плоский граф (планарный граф)
- Теория вызова и ответа
- Подграф графа
- Простой граф
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
