infer
version v1.2.0
Infer هي أداة تحليل ثابتة لـ Java وC++ وObjective-C وC. تمت كتابة Infer بلغة OCaml.
اقرأ صفحة البدء للحصول على تفاصيل حول كيفية تثبيت الإصدارات المجمعة من Infer. لبناء الاستدلال من المصدر، راجع INSTALL.md.
انظر CONTRIBUTING.md.
Infer مرخص من معهد ماساتشوستس للتكنولوجيا.
ملاحظة: قد يتطلب تمكين دعم Java تنزيل وتثبيت المكونات المرخصة بموجب GPL.