كسرتي

Coverity هي أداة تحليل ثابتة خاصة بشركة Black Duck, Inc. ^{[ 1 ]} يمكّن هذا المنتج المهندسين وفرق الأمن من العثور على عيوب البرامج وإصلاحها.

بدأت شركة Coverity كشركة برمجيات مستقلة عام 2002 في مختبر أنظمة الحاسوب بجامعة ستانفورد في بالو ألتو، كاليفورنيا. أسسها كل من بنجامين تشين، وآندي تشو، وديفيد بارك، وسيث هالم، بمساعدة البروفيسور داوسون إنجلر من جامعة ستانفورد كمستشار تقني. نُقل مقر الشركة إلى سان فرانسيسكو . في يونيو 2008، استحوذت Coverity على شركة Solidware Technologies. ^{[ 2 ]} وفي فبراير 2014، أعلنت Coverity عن اتفاقية استحواذ من قبل شركة Synopsys ، المتخصصة في أتمتة تصميم الإلكترونيات ، مقابل 375 مليون دولار نقدًا. ^{[ 3 ]}

Coverity هي أداة لتحليل الشفرة الثابتة للغات C و C++ و C# و Java و JavaScript و PHP و Python و .NET و ASP.NET و Objective-C و Go و JSP و Ruby و Swift و Fortran و Scala و VB.NET و TypeScript . كما تدعم أكثر من 70 إطار عمل مختلفًا للغات Java و JavaScript و C# وغيرها. ^{[ 4 ]}

Coverity Scan هي خدمة مجانية قائمة على السحابة لتحليل البيانات الثابتة مخصصة لمجتمع المصادر المفتوحة .

بموجب عقد مع وزارة الأمن الداخلي الأمريكية في عام 2006، تم استخدام الأداة لفحص أكثر من 150 تطبيقًا مفتوح المصدر بحثًا عن الأخطاء؛ وتم إصلاح 6000 خطأ تم العثور عليها من خلال الفحص في 53 مشروعًا. ^{[ 5 ]}

استخدمت الإدارة الوطنية لسلامة المرور على الطرق السريعة هذه الأداة في تحقيقها الذي أجرته في الفترة 2010-2011 بشأن تقارير التسارع المفاجئ غير المقصود في سيارات تويوتا. ^{[ 6 ] [ 7 ]} كما استخدمها مركز سيرن في البرمجيات المستخدمة في مصادم الهادرونات الكبير ^{[ 8 ] [ 9 ]} وفي مختبر الدفع النفاث التابع لناسا خلال تطوير برمجيات الطيران لمركبة كيوريوسيتي الجوالة على سطح المريخ . ^{[ 10 ]}