> Ведь много зависит от откружения... Билда ОС, версий либ, с которыми она линкуется, а если еще вспомнить всякие возможные флаги и оптимизации при компиляции, из-за которых иногда ПО работает некорректно, из-за ошибок того же компилятора...

Если много зависит от окружения, то зачем такая программа нужна вообще? Как ты можешь ей доверять, если она вместо единственно правильного поведения демонстрирует платформо-зависимое?

> Интересный кейс в рамках ПО, на самом деле.

Юридически интересный. Может с какими интересными экономическими реперкуссиями, но по-хорошему, если софтина написана согласно тем стандартам, которым следует писать софтину, результат работы которой может отправить человека на смертную казнь, то она легко пройдёт аудит. Потому что для неё это будет не Аудит, а ещё один аудит, который вряд ли покажет что-то новое.

С другой стороны, это если компания разработчик достаточно ответственная, а если нет... Но вот аудит и позволит узнать.

> После того, как открыли черный ящик (исходный код), можно четко понимать какими будут выходные данные, если скормить определенные входные данные.

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