سوف Jlint تحقق جافا البرمجية الخاصة بك والعثور على البق، والتناقضات والمشاكل التزامن عن طريق القيام تحليل تدفق البيانات وبناء الرسم البياني القفل. يتكون Jlint من انتيتش، وتحديد المشاكل مع C النحو والذي يمكن أن يسبب الخلل مبرمج خطير، والتي لم يتم كشفها من قبل المترجم، والمحقق الدلالي Jlint، التي تستخرج المعلومات من ملفات فئة جاوة. يؤدي Jlint يحلل تدفق البيانات المحلية والعالمية، وحساب القيم المحتملة للمتغيرات المحلية واصطياد حسابات زائدة والمشبوهة. إلا المآزق، Jlint غير قادرة على الكشف عن مشكلة ممكن شرط سباق، عندما يمكن أن المواضيع المختلفة الوصول بشكل متزامن في نفس المتغيرات.
ويستخدم Jlint نهج الذكية لإبلاغ الرسالة. يتم تجميع كافة الرسائل في فئات، وأنه من الممكن لتمكين أو تعطيل رسائل الإبلاغ عن فئة معينة وكذلك الرسائل ملموسة. Jlint أن أتذكر الرسائل المبلغ عنها وعدم الإبلاغ عنها مرة أخرى عند تشغيل مرة الثانية Jlint.
لم يتم العثور على التعليقات