Набор инструментов статического анализа программного обеспечения MALPAS
-
Обзор MALPAS
- MALPAS — это набор инструментов для статического анализа программного обеспечения.
- Он использует графы и алгебру для представления программ и анализа их структуры.
- Аналитики могут классифицировать использование данных и выявлять информационные взаимосвязи.
- MALPAS поддерживает формальное доказательство соответствия кода спецификации.
-
Применение в промышленности
- MALPAS использовался для подтверждения корректности критически важных приложений в ядерной, аэрокосмической и оборонной отраслях.
- Он также использовался для проверки компиляции в ядерной промышленности.
- Анализировались языки программирования Ada, C, PLM и Intel Assembler.
-
Технические детали
- MALPAS включает пять специализированных анализаторов, работающих с различными свойствами программ.
- Для анализа используются промежуточные языки MALPAS (IL), которые могут быть созданы автоматически или вручную.
- Анализаторы предоставляют отчеты о структуре программы, использовании данных, информационных потоках, семантике и соответствии требованиям.
-
История и развитие
- MALPAS был разработан британским RSRE в 1980-х годах и широко использовался в ядерной области и в сфере вооружений.
- Первое крупномасштабное задание по статическому анализу было выполнено для системы защиты реактора Sizewell B.
- В 1990-х годах MALPAS использовался для анализа критически важного программного обеспечения в авиации и для повышения надежности систем защиты реакторов.
- В настоящее время MALPAS применяется для оценки программного обеспечения для мониторинга ядерных реакторов.