Процессы РБПО 5.11-5.25 в ГОСТ Р 56939-2024

В четвертой части серии докладов про ГОСТ Р 56939-2024 продолжаем разбирать процессы РБПО. ------------------------------------------------------------------------------------------- Полезные ссылки: - Динамические анализаторы: Valgrind: https://valgrind.org/ AddressSanitizer: https://clang.llvm.org/docs/AddressSanitizer.html ThreadSanitizer: https://clang.llvm.org/docs/ThreadSanitizer.html MemorySanitizer: https://clang.llvm.org/docs/MemorySanitizer.html - ИСП Fuzzer: http://www.ispras.ru/technologies/crusher/ - ИСП РАН. Безопасный компилятор: https://www.ispras.ru/technologies/safecomp/ - Инструменты композиционного анализа CodeScoring: https://codescoring.ru/ Solar appScreener: https://rt-solar.ru/products/solar_appscreener/ Другие: https://github.com/magnologan/awesome-sca