Скачать
Release 25.10 of Astrée and RuleChecker
Автор: AbsInt Angewandte Informatik GmbH
Загружено: 2025-11-21
Просмотров: 35
Описание:
New features and improvements in the 25.10 release of Astrée and RuleChecker, AbsInt's static analyzers for C and C++ code.
0:00 Intro
0:32 Delta analysis
6:03 Single translation unit analysis in Visual Studio Code LSP mode
10:12 Bounded recursion
12:56 Support for security norms DO-356A and ISO 21434 available
15:44 Enhanced support for CERT C/C++ and CWE
Complete list of release notes: https://www.absint.com/releasenotes/a...
Website: https://www.absint.com
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
