متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: frama-c مخفف (framework for modular analysis of c programs) یا (چارچوب برای تجزیه و تحلیل مدولار برنامه‌های c) که جهت تجزیه و تحلیل مدولار برنامه‌های c است. frama-c مجموعه‌ای از آنالایزرهای برنامه قابل تعامل برای برنامه‌های c است. frama-c توسط کمیساریای فرانسوی l'énergie atomique et aux énergies alternatives (لیست cea) و inria توسعه‌یافته است. همچنین از ابتکار عمل زیرساخت‌های هسته‌ای بودجه دریافت کرده است. frama-c، به عنوان آنالایزر استاتیک، برنامه‌ها را بدون اجرای آنها بازرسی می‌کند. با وجود نام آن، این نرم‌افزار مربوط به پروژه فرانسوی framasoft نیست. 
موضوع:
فراما سی