Активация путей
(path sensitizing) составление набора входных значений для обеспечения выполнение определенного пути.
Bytecode
Предмет
Программирование
👍 Проверено
Автор24
(байт-код) машинно-независимый код, который генерирует Java-компилятор.
Научные статьи на тему «Bytecode»
Анализ программ на языке Java в инструменте Svace
В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом анализаторе Svace, разрабатываемом в ИСП РАН. Приводятся методы построения внутреннего представления для анализа Java, включая изменения в компоненте контролируемой сборки, доработки компилятора OpenJDK, трансляцию байткода Java в окончательное представление для анализа. Описываются особенности анализа Java-программ алгоритм девиртуализации, спецификации методов стандартной библиотеки Java, некоторые специфичные детекторы. Представлены результаты выполнения анализа для исходного кода операционной системы Android 5.
Creative Commons
Научный журнал
Обзор интерпретации и компиляции в виртуальных машинах
Исполнение байткода под управлением виртуальной машины имеет ряд преимуществ перед традиционным исполнением машинного кода. Это переносимость, безопасность, удобство компиляции и отладки. В то же время, такое исполнение влечет за собой дополнительные накладные расходы. В данной статье описываются два способа исполнения байткода: интерпретация и компиляция. Для каждого из этих методов обсуждаются накладные расходы и узкие места с точки зрения производительности. Дается обзор основных оптимизаций этих методов, которые позволили достичь скорости исполнения, сравнимой со скоростью исполнения машинного кода.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Система счисления
способ записи чисел с помощью заданного набора специальных знаков (цифр).
Системное ПО
это набор программ, обеспечивающих работу компьютера, в том числе управление ресурсами ЭВМ, взаимосвязь ЭВМ и пользователя, создание копий используемой информации, проверка работоспособности устройств компьютера, выдача справочной информации и другие функции.
- Абстрактный класс
- Алгоритм inplace_merge
- Ассемблирование
- Веб-дизайн
- Веб-сервис, веб-служба
- Виртуальная консоль
- Внутренняя память машины Тьюринга
- Восстанавливаемость программного обеспечения
- Отладка программы
- Постусловие
- Процедура начальной загрузки
- Синхронные аппаратные прерывания, исключения (exceptions)
- Система Управления Базами Данных (СУБД)
- Системное ПО
- Системы программирования
- Старшинство (приоритеты) операций
- Целые константы
- Шина данных
- end
- HTTP (Hypertext Transfer Protocol)
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек