الصفحة الرئيسية>المتعلقة بالبرمجة>جافا كود المصدر

Infer هي أداة تحليل ثابتة لـ Java وC++ وObjective-C وC. تمت كتابة Infer بلغة OCaml.

تثبيت

اقرأ صفحة البدء للحصول على تفاصيل حول كيفية تثبيت الإصدارات المجمعة من Infer. لبناء الاستدلال من المصدر، راجع INSTALL.md.

المساهمة

انظر CONTRIBUTING.md.

رخصة

Infer مرخص من معهد ماساتشوستس للتكنولوجيا.

ملاحظة: قد يتطلب تمكين دعم Java تنزيل وتثبيت المكونات المرخصة بموجب GPL.

يوسع
معلومات إضافية