Недекларированные возможности ПО Опции

[Altair]

Есть какие-либо материалы по поиску недекларированных (для Юты: это пишется слитно!)) возможностей в ПО?

В сети очень мало информации, толком- ничего, только введение.
Хотелось бы узнать какие существуют методы поиска и анализа ПО.

[Altair]

Имеется программа. Код ее доступен. Будем считать, что код написан в стиле только функционального программирования.
По ГОСТу, для этой программы есть 5 документов:

• Спецификация (19.202-78)
• Описание программы (19.402-78)
• Описание применения (19.502-78)
• Пояснительная записка (19.404-79)
• Текст программы (19.401-78)

Как узнать, что программа не выполняет никаких вредоносных действий?
Ясно, что в описании программы может быть не указаны некоторые действия, они скрыты умышленно, и эти действия могут являться вредоносными.

Вопрос в том, какие методы есть обнаружения таких недокументированных (недекларированных) возможностей в ПО?

[Malice]

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