15 يوليو 2020 تم إصدار Frama-Clang 0.0.9. قم بتنزيله هنا .
25 يونيو 2020 تم إصدار Frama-C 21.1 (سكانديوم). قم بتنزيله هنا .
11 يونيو 2020 تم إصدار Frama-C 21.0 (سكانديوم). قم بتنزيله هنا .
10 مارس 2020 تم إصدار Frama-Clang 0.0.8. قم بتنزيله هنا .
04 ديسمبر 2019 تم إصدار Frama-C 20.0 (كالسيوم). قم بتنزيله هنا .
المميزات تساعدك أدوات تحليل Frama-C في مختلف الأنشطة المتعلقة بالشفرة المصدرية ، بدءًا من التنقل مرورًا بالمشاريع غير المألوفة وحتى اعتماد البرامج الهامة.
قم بجولة …
هندسة معمارية Frama-C هو إطار عمل قابل للتوسيع. يمكنك بسهولة البناء على المكونات الإضافية الحالية لتنفيذ تحليلك الخاص. مصنع المكونات الإضافية …

٪٪ item_read_more_button ٪٪

ترك الرد

من فضلك ادخل تعليقك
من فضلك ادخل اسمك هنا