مفتش سوف تشيك
أداة SofCheck Inspector [ 1 ] هي أداة تحليل ثابتة للغتين Java و Ada . تقوم هذه الأداة بتحديد وتوثيق الشروط المسبقة واللاحقة لأساليب Java أو البرامج الفرعية في Ada ، وتستخدم هذه المعلومات لتحديد العيوب المنطقية [ 2 ] ، وحالات التزامن ، والتعليمات البرمجية الزائدة في فئة Java أو حزمة Ada، أو نظام فرعي، أو برنامج كامل. تُنتج أداة SofCheck Inspector من قِبل شركة SofCheck, Inc.، وهي شركة برمجيات مقرها في بيرلينجتون، ماساتشوستس .
يتم استخدام محرك التحليل الثابت SofCheck Inspector داخل منتج التحليل الثابت CodePeer [ 3 ] من AdaCore .
انظر أيضاً
مراجع
- ↑ "SofCheck : SoftCheck Inspector : Find Errors Faster" . مؤرشف من الأصل بتاريخ 28-09-2007 . تم الاطلاع عليه بتاريخ 23-02-2009 .
- ↑ "محادثة STSC - توضيح نقاط الضعف الأمنية - مارس 2007" . مؤرشف من الأصل بتاريخ 19 مايو 2007. تم الاطلاع عليه بتاريخ 26 أبريل 2007 .
- ↑ "CodePeer" . AdaCore.com . مؤرشف من الأصل بتاريخ 23 فبراير 2012. تم الاطلاع عليه بتاريخ 10 أغسطس 2016 .
روابط خارجية
- موقع شركة SofCheck الإلكتروني مؤرشف بتاريخ 4 مارس 2021 على موقع Wayback Machine.
- فيديو يشرح التقنية الكامنة وراء برنامج SoftCheck Inspector
- برنامج SofCheck Inspector لدعم تعداد نقاط الضعف الشائعة (CWE)
- تم تطوير CodePeer من AdaCore بالشراكة مع SofCheck
فئات :
- أدوات تحليل البرامج الثابتة
- أدوات تطوير جافا
- برنامج منصة جافا