bluerock-io/BRiCk
این پروژه یک چارچوب رسمی برای زبان ++C ارائه می‌دهد تا امکان تایید صحت نرم‌افزار (Verification) فراهم شود.
کاربرد:
این ابزار به توسعه‌دهندگان و محققان کمک می‌کند تا رفتار کدهای ++C را با دقت بالا تحلیل کنند و از صحت آن‌ها در سیستم‌های حیاتی مطمئن شوند.
در چه شرایطی بهتره استفاده شود؟
وقتی که نیاز به اعتبارسنجی ریاضی از صحت کد دارید، مثلاً در سیستم‌های امنیتی، پزشکی، هوافضا یا هسته‌ای که خطای کوچک هم می‌تونه خسارت بزرگی ایجاد کنه.
چند مثال از موارد استفاده:
- تأیید اینکه یک ماژول کنترل پرواز رفتار مورد انتظار داره ️
- بررسی عدم وجود خطاهای حافظه در کدهای سیستمی
- تحلیل صحت الگوریتم‌های رمزنگاری نوشته شده به ++C
- استفاده در محیط‌هایی که نیاز به گواهی‌های رسمی از صحت نرم‌افزار دارند (مثل DO-178C)
- ##formal
- ##Cplusplus
- ##software
- ##static
- ##secure
- ##critical
- ##code