То есть даже статический анализ средствами, скажем, с того же опенсурса не покрыть?
Только рекомендованную ими хрень юзать?
Не указаны конкретные статистические анализаторы, но расписан перечень фич, в которые они должны уметь.
Требования к SAST для высоких уровнией доверия выполнимы только в каком-нибудь Svace, но для УД4 не факт что он нужен. А вообще регулятор в будущем хочет выпустить ГОСТ по статистическому анализу кода.