| | Jlint ل Unix.مدقق رمز جافا |
| التحميل الان | |
Jlint ل Unix. الترتيب والملخص
الإعلانات
Jlint ل Unix. العلامات
Jlint ل Unix. وصف
سيقوم Editby Jlint بتحقق من رمز Java الخاص بك والعثور على الأخطاء والتناقضات ومشاكل التزامن من خلال القيام بتحليل تدفق البيانات وبناء الرسم البياني قفل. تتكون Jlint من برامج منفصلة أداء بناء الجملة والتحقق الدلالي. بقدر ما يرث Java في الغالب بناء جملة C / C ++، ويرث معظم المشكلات التي تسببها بناء جملة C، كانت الفكرة إنشاء مدقق بناء جملة مشترك لجميع لغات C-Family: C، C ++، الهدف C و Java. تم تسمية هذا البرنامج antic، لأنه يعمل على إصلاح مشاكل مع Grammar C، والتي يمكن أن تتسبب في حشرات مبرمج خطيرة، والتي لم يتم اكتشافها بواسطة برنامج التحويل البرمجي. باستخدام الماسح الضوئي مكتوب اليدين ومحلل بسيط من أعلى إلى أسفل، قادر على اكتشاف هذه الأخطاء كاستخدام مشبوه لأولويات المشغلين، عدم وجود كسر في رمز التبديل، افتراض خاطئ حول هيئات الإنشاءات ... المستخرج الدلالي المقتطفات Jlint معلومات من ملفات Java Class. فيما يتعلق ملف Java Class بالتنسيق المحدد جيدا وبسيطة للغاية، فإنه يبسط بشكل كبير المقارنات بالمقارنة مع المركبات على مستوى المصدر، لأن تطوير محلل Java Grammar ليس مهمة بسيطة (حتى من خلال Java Grammar أكثر بساطة وأقل غامضة من G ++ Grammar) وبعد يتعامل أيضا فقط مع ملفات الفصل، وحماية المقرن من إضافات Java إضافية (تنسيق تعليمات البايت الافتراضية هو أكثر تحفظا). باستخدام معلومات تصحيح الأخطاء، يمكن أن ربط الرسائل المبلغ عنها بمصادر Java. يؤدي Jlint إلى تحليلات تدفق البيانات المحلية والعالمية، وحساب القيم المحتملة للمتغيرات المحلية والفعاليات الاحتياطية والحسمة المشبوهة. من خلال إجراء تحليل لاحتجاج الأسلوب العالمي، فإن JLINT قادرا على اكتشاف الاحتجاج بالطريقة ذات القيمة "الفارغة" الممكنة لمعلمة رسمية واستخدام هذه المعلمة في الأسلوب دون التحقق من "NULL". تقوم Jlint أيضا ببناء الرسم البياني للإعتماد على القفل في تبعيات الطبقات ويستخدم هذا الرسم البياني للكشف عن المواقف، والتي يمكن أن تسبب تام أثناء تنفيذ برنامج متعدد المراحل.
Jlint ل Unix. برامج ذات صلة
