Syrmia представила Autocheck — проект на базе LLVM/Clang для проверки кода C/C++ на соответствие стандарту AUTOSAR

За прошедшие годы мы в Syrmia выявили распространённые запросы наших партнёров о проверке их кода на соответствие автомобильным стандартам. Автомобильная промышленность быстро меняется, и мы считаем, что такие стандарты, как AUTOSAR C++, заслуживают бесплатной проверки кода, поэтому любой, кто хочет проверить свой код на соответствие автомобильному стандарту, может сделать это легко.

По этой причине мы запустили проект под названием Autocheck. Он бесплатен и является результатом наших внутренних усилий по созданию хорошего и актуального инструмента для анализа исходного кода. Теперь вы можете использовать его сами, а при желании также можете принять участие. В конце концов, если сделать инструмент ещё лучше, это принесёт пользу всем, кто его использует.

Autocheck реализован с использованием Clang API. Основная цель — проверить ваше программное обеспечение на соответствие автомобильному стандарту AUTOSAR. Стандарт содержит набор рекомендаций по использованию языка C++ в критически важных системах и системах, связанных с безопасностью, и его цель — повысить безопасность, надёжность и качество программного обеспечения.

Мы рассмотрели большинство правил (используя уже существующую поддержку в Clang/LLVM), которые применимы к текущему стандарту AUTOSAR, но не все, и мы надеемся продолжать добавлять новые правила. Кроме того, недавно был опубликован новый стандарт, поэтому мы могли бы сосредоточиться на его освещении и в будущем.

Мы предлагаем вам посетить наш репозиторий на GitHub, попробовать Autocheck, и если вам это нравится, не стесняйтесь сказать об этом. И пока мы все не достигнем 5-го уровня SAE по автономному вождению, не садитесь за руль в нетрезвом виде, какими бы хорошими ни были ваши инструменты анализа»,

— пояснили разработчики проекта.