Детектор отладки процессов НКВД 3.2

Детектор отладки процессов НКВД 3.2 используется для проверки отсутствия в АС средств разработки и отладки программ, который выполняет:

• контроль наличия в АС средств отладки программного кода и их активности (функционирования);
• вывод на экран информации об активных процессах программной среды АС, которые на момент контроля находятся в состоянии отладки;
• формирование отчета о проведенной проверке и ее результате.

Во время проведения испытаний НКВД 3.2 собирает информацию об изменениях состояния активных процессов программной среды АС и ядра ОС (начало и окончание отладки, обращения к функциям отладки, перехват отладочных прерываний), а также осуществляет контроль, как в защищенном режиме работы процессора, так и режиме виртуальных машин. На уровне ресурсов АС учитываются процессы (по соответствующим им потокам) программной среды и динамика изменения их состояния, таким образом, выполняется перехват активизации отладчиков программного кода. При обнаружении режима отладки фиксируется поток (процесс), отладка которого выполняется, и процесс, инициировавший режим отладки. На уровне ядра ОС перехват обращений к отладочным функциям архитектуры процессора (драйверам) возможен при обращении прикладной задачи или драйвера к отладочным прерываниям процессора.

Недостаток НКВД 3.2 (аналогично прочим продуктам линейки НКВД) состоит в том, что они функционируют только в ОС Windows 9x.

2.8. Анализатор исходных текстов программ С и С++ «АИСТ-С»

Программа «АИСТ-С» предназначена для проведения проверок исходных текстов программ на отсутствие недекларированных возможностей. Позволяет получать в автоматическом режиме информацию о структуре и характеристиках исследуемого программного комплекса, а также обеспечивает проведение экспертом в интерактивном режиме операций по анализу получаемой информации с привязкой к анализируемым исходным текстам.

Основные возможности:

· формирование перечня используемых подпрограмм и их связей по управлению и информации;

· построение возможных маршрутов вызовов подпрограмм при отработке запросов (реализации функций);

· поиск «критических» маршрутов вызовов подпрограмм;

· поиск неиспользуемых участков программ;

· поиск неиспользуемых переменных;

· построение блок-схем алгоритмов подпрограмм комплекса;

· поиск потенциально опасных конструкций языка программирования;

· обеспечение интерактивного режима анализа экспертом получаемой информации с привязкой к анализируемым исходным текстам.

документы сертификационных испытаний

1. Технические условия (задание по безопасности).
2. Акт идентификации образца(ов) изделия.
3. Программа сертификационных испытаний.
4. Методика сертификационных испытаний.
5. Протокол сертификационных испытаний.
6. Техническое заключение по результатам сертификационных испытаний.
7. Экспертное заключение по результатам сертификационных испытаний.
8. Проект сертификата.

Дата добавления: 2015-10-28