US 2008/0320437 A1, 25.12.2008. SU 1709348 A1, 30.01.1992. JP 8137825 A, 31.05.1996.
Имя заявителя:
Федеральное государственное учреждение "Государственный научно-исследовательский испытательный институт проблем технической защиты информации Федеральной службы по техническому и экспортному контролю" (RU)
Изобретатели:
Бурушкин Алексей Анатольевич (RU) Минаков Владимир Александрович (RU) Мирошников Вячеслав Викторович (RU) Грищенко Кристина Павловна (RU)
Патентообладатели:
Федеральное государственное учреждение "Государственный научно-исследовательский испытательный институт проблем технической защиты информации Федеральной службы по техническому и экспортному контролю" (RU)
Реферат
Изобретение относится к информационным вычислительным системам и сетям. Техническим результатом является значительное сокращение объема работ по автоматизированному контролю отсутствия недекларированных возможностей в исходных текстах программного обеспечения. Система содержит блок сохранения найденных потоков управления исследуемого программного обеспечения, блок хранения файлов исходных текстов программного обеспечения, блок установки контрольных точек в файлы исходных текстов программного обеспечения, блок компиляции файлов исходных текстов программного обеспечения с установленными контрольными точками, блок выполнения скомпилированных файлов программного обеспечения, блок сохранения перечня пройденных контрольных точек, блок сохранения трасс маршрутов выполнения скомпилированных файлов программного обеспечения, блок хранения перечня потенциально опасных программных конструкций, блок поиска потенциально опасных программных конструкций в файлах исходных текстов программного обеспечения, блок экспертной корректировки результатов автоматизированного анализа, блок сохранения итоговых результатов, блок построения сетей Петри файлов исходных текстов программного обеспечения, блок анализа и маркирования исключаемых из дальнейшей обработки ветвей сетей Петри, блок хранения оптимизированных исходных текстов. 2 ил.
Поиск патентов
Получить полное описание патента