أي بدائل ل .NET 4 كود عقود محلل ثابت؟

Question

يبدو أن المحلل الثابت للاستخدام مع عقود الكود .NET 4.0 سيكون متاحا فقط لإصدارات Suite Suite من Visual Studio - وهذا يضعه خارج الميزانية لفريقي.

هل هناك أي بدائل (مصدر مفتوح أو سعر مجاني أو بأسعار معقولة) التي تقدم تحليل ثابت مماثل للتصميم حسب رمز نمط العقد (ليس بالضرورة باستخدام عقود كود .NET). أنا أظن أن الإجابة لن تكون مثل القيمة الكاملة فقط عندما يكون لدى BCL نفسها عقود - ولكن هل هناك أي جزء من الطريق؟

Answer 1

لست متأكدا مما إذا كان هذا ما تبحث عنه، ولكن قد يكون لديك نظرة على Frama-C.و ACSL. لغة التوضيحية ل C.

مقارنة بعقود .NET، عقود ACSL غير قابلة للتنفيذ (من المستحيل التحقق منها مع تأكيدات وقت التشغيل) ولكنها مناسبة بشكل أفضل للتحليل الثابت (فهي أكثر تعبيرا وتسمح بمواصفات كاملة أن تكون مكتوبة وتم فحصها قانونيا. على الأقل نظريا. على الأقل نظريا. في

Answer 2

أنا أستخدم التحليل الثابت في Premium VS2010.