BLAST Активированная полная версия Скачать [Latest] 2022

BLAST

BLAST — это средство проверки моделей для программ на C. BLAST — это средство проверки моделей с учетом безопасности, т. е. его можно запускать только в системе, которая заведомо безопасна, и его можно использовать только в программах, безопасность которых известна. BLAST предназначен для дополнения независимого программного обеспечения для статического анализа для поиска ошибок и проблем безопасности в программах на C и C++. BLAST разработан исследователями безопасности из IT-Sec Делфтского технического университета.
BLAST также является средством проверки системы. Мы используем термин «система», а не «системный анализ», потому что BLAST встроен в компилятор, а не как отдельный инструмент. Ценность «системы» заключается в том, что мы избегаем проблем, вызванных независимыми инструментами статического анализа, таких как атаки «А», при которых небольшое изменение в существующей программе может раскрыть внутреннюю структуру системы. Кроме того, мы можем получить точную картину поведения компилятора, проверив выполнение всех «системных» свойств.
BLAST — это средство проверки модели программного обеспечения для программ на языке C. Цель BLAST — проверить, удовлетворяет ли программное обеспечение поведенческим свойствам используемых им интерфейсов. Например, для программы на C и системного интерфейса, скажем, в файле X, BLAST автоматически сгенерирует абстрактные интерфейсы на основе X и проверит, удовлетворяют ли интерфейсы требуемому поведению. BLAST создает абстракции интерфейса «на лету» и только с требуемой точностью.
BLAST делает это в несколько этапов:
1. Создан внешний интерфейс компилятора для языка C и интерфейсов в X.
2. Внешний интерфейс компилятора создается для языка, который выражает свойства поведения в виде программ на C.
3. Абстрактные интерфейсы, созданные на шаге 1, проверяются на модели на предмет свойств безопасности.
4. Если что-то в программе не удовлетворяет требуемому свойству, программа проверки модели сгенерирует контрпример. Затем этот контрпример включается в сгенерированный внешний интерфейс компилятора, и следующий шаг повторяется.
BLAST будет проверять только те программы, которые содержат интерфейсы, использующие интерфейсы X, и которые скомпилированы с помощью компилятора C, поддерживающего BLAST (GNU cc, LLVM cc, clang).
BLAST не будет проверять программы на C++, потому что он не сможет поддерживать тонкие функции языка, необходимые для этапа уточнения абстракции.

Интерфейс Bareword, с которым взаимодействует BLAST, представляет собой сильно абстрагированный интерфейс. Он содержит как элементы интерфейса, которые нужны BLAST, так и память https://libertycentric.com/upload/files/2022/06/Ns9xXMzNnfrAPjVRV3ve_04_ca65ac74e878f3c00c928ceec60d5c7d_file.pdf

BLAST был разработан, чтобы быть быстрым и легким, поэтому его можно использовать в пакетных заданиях статического анализа.
BLAST имеет модульную архитектуру с компонентами высокого уровня:
Включение набора аргументов командной строки
Найтибаги
IDE FindBugs в основном используют модель контекстного стека вызовов, а не
возможность проверить типы вызовов BLAST к другим программам. BLAST тоже нет
поддерживать проверку статического типа, используя только состояния программы при каждом вызове.
– Что заставляет его работать быстро.
– Что может даже сделать его быстрее, чем ваша IDE!
– Что позволяет легко подключаться к другим инструментам, таким как FindBugs.
– Что может даже сделать его быстрее, чем ваша IDE!
ВЗРЫВ Архитектура:
BLAST разработан вокруг четырех основных компонентов любой программной системы:
Составные части
– Реализация
– Представление
– Интерфейсы
– Пользовательские интерфейсы
BLAST использует представление программы на основе вызовов. Это хорошая модель для операций с использованием интерфейсов, поскольку она точно отражает способ работы программ.
Существует один интересный набор операций вызова, связанных с BLAST, и это взаимодействие BLAST с другими программами.
Реализация BLAST оптимизирована для операций интерфейса. Он использует комбинацию следующего:
– Процесс-состояния программы BLAST
– Экстернализованные логические переменные и выражения
– Реализован как наблюдатель этих переменных
– Реализовано для разных типов интерфейсов: Java, C, C++
В этом разделе мы опишем их более подробно.
Интерфейсные операции
Основным набором интерфейсных операций BLAST являются вызовы, которые бывают двух типов. Эти два типа помечены основной и дополнительной версиями следующим образом:
Основная версия x (целое число)
Дополнительная версия y (целое число)
Основная версия x — это основная операция интерфейса BLAST, которая используется для управления состоянием модели BLAST. В качестве основных данных он использует состояние процесса.
Младшая версия y используется для выполнения типа операции и проверяет состояние (а также типы, если они есть).
Реализация
BLAST использует представление программы на основе вызовов.
BLAST использует представление программы на основе вызовов.
BLAST использует комбинацию состояния процесса и системных свойств для представления программы BLAST.
BLAST использует комбинацию состояния процесса и системных свойств для представления программы BLAST.
BLAST использует
fb6ded4ff2

BLAST Активированная полная версия Скачать [Latest] 2022

Recent Posts

Recent Comments

Archives

Categories

Meta