Checker Framework GitHub

أداة تحليل ثابتة تفرض المؤهلات النوعية في Java وتضمن أمان null والتوافق على العقود للمطورين ومهندسي CI في قواعد كود كبيرة.

Tool coming soon!

We're working hard to get this tool ready for you.

Request Feature / Support

1,712+

Total Calculations Run

< 15ms

Browser Execution Speed

100%

Client-Side Privacy

4.9 / 5.0

User Satisfaction

AI Web Tool Generator

Build Your Own Custom Web Calculator in Seconds

Type what tool or calculator you need below. Our AI will build it instantly for your site.

عن هذه الأداة

تقوم الأداة بتحليل الشفرة المصدرية Java للتحقق من المؤهلات النوعية والتأكد من تطبيقها وفق Checker Framework. تدعم nullness والتغير/عدم التغير وعوامل qualifiers أخرى عبر التعليقات التوضيحية أو الاستنتاج، وتتكامل مع بناء Gradle/Maven وGitHub Actions للكشف عن المشاكل في بيئات التطوير وCI. من خلال تحليل تدفق البيانات وقيود النوع، تحدد الانتهاكات مثل NPE محتمل، وجود تشابك غير مقصود للعناوين، أو انتهاكات العقد.

تدفق العمل المفهومي: تزويد المدخلات (مسارات المصدر، المسار العام، ومكتبات التعليقات)، يبني المحلل شجرة تحليل مجردة(AST) ونظام Qualifier، يعالج التعليقات التوضيحية، ينشر القيود عبر العبارات ويقُدم تقارير دقيقة حول الملفات وCheckers. يمكن تصدير تقارير SARIF أو JSON لأتمتة الأدوات.

المستفيدون يتضمنون فرق الهندسة بمشروعات Java الكبيرة، ومؤلفي المكتبات، ومهندسي CI الذين يحتاجون فحوصات قابلة لإعادة الإنتاج. القيمة الفريدة تشمل Checkers قابلة للتبديل، qualifiers القياسية وتوافقها مع أدوات البناء الشائعة، مما يتيح تطبيقاً قابلاً للتوسع عبر الوحدات.

المزايا الأساسية وحالات الاستخدام: Checkers القياسية والمخصصة، تحاليل تدريجية وكاملة، تصدير SARIF، وتكامل CI سهل. حالات الاستخدام تشمل الهجرة إلى أمان Null صارم، تدقيق التب dependencies على التوافق مع qualifiers وتطبيق العقود في مشاريع متعددة الوحدات.

Save your calculation history with a free account

كيفية الاستخدام

الخطوة 1: توفير المدخلات: حدد مسارات المصدر، classpath ومكاتب التعليقات.
الخطوة 2: تكوين checkers: اختر nullness، mutability وأي qualifiers مخصصة.
الخطوة 3: تشغيل التحليل: شغّل التحليل الثابت على المشروع المكوّن.
الخطوة 4: مراجعة النتائج: افحص قائمة الانتهاكات مع مسارات الملفات واقتراحات.
الخطوة 5: دمجه في CI وتعديل: اربط إلى Gradle/Maven أو GitHub Actions وأعد التشغيل حتى تكون النتيجة نظيفة.

Frequently Asked Questions

اعثر على إجابات سريعة

ما اللغات والإصدارات المدعومة؟

المكوّن الإضافي Checker Framework يدعم مصادر Java من Java 8 حتى Java 17، مع ملاحظات التوافق للمجمّلات الأحدث. يعتمد على تعريفات التعليقات الموثّقة من المشروع والمؤهلات القياسية.

هل يمكن تشغيله في CI؟

نعم. يتكامل مع بناء Gradle وMaven ويمكنه إخراج تقارير SARIF أو JSON ل GitHub Actions وJenkins وغيرها من خطوط CI؛ قد يفشل البناء عند الانتهاكات ويولد تقارير قابلة للاستخدام.

ما هي المخرجات الناتجة؟

المخرجات تشمل قائمة منظمة للانتهاكات مع مسارات الملفات وأرقام الأسطر وCheckers، إلى جانب ملخص. يمكن تصدير التقارير كـ JSON أو SARIF لدعم لوحات التحكم وفحص PRs.

كيف يمكن توسيعها ب-checkers مخصصة؟

يتم إضافة checkers المخصصة عبر تنفيذ واجهات qualifiers وتسجيلها عبر الإعدادات. هذا يتيح قيود خاصة بالمشروع إلى جانب qualifiers القياسية.

Need to run multiple calculations?

Create a free account today to unlock unlimited daily runs, access advanced parameters, save your history, and request custom features.

Related Tools

Other useful calculators and utilities you might like

محول Spotify إلى MP3

يحوّل ملفات الصوت المقدمة محليًا إلى MP3، مما يتيح الاستماع دون اتصال وتوافقًا عبر الأجهزة للموسيقى...

حساب المسافة بالطرق

حاسب للمسافة بالطرق للمسافرين ومخططي اللوجستيات والسائقين لتقدير المسافات وأزمنة الرحلة بسرعة بين ال...

حاسبة العمر

حدد عمر شخص بسرعة استناداً إلى تاريخ ميلاده مع أداتنا المجانية على الإنترنت، مناسبة للاستخدام الشخصي...

محول العملات

حوّل بسرعة مبالغ بين عملات مختلفة باستخدام محول العملات المجاني عبر الإنترنت، مثالي للمسافرين، الشرك...

ملاحظاتك تهمنا

ساعدنا على التحسن