Checker Framework GitHub

כלי ניתוח סטטי שמכפן מאפייני סוג Java מבטיח בטיחות Null ואמינות חוזה עבור מפתחים ומהנדסי CI בפרויקטים גדולים.

Tool coming soon!

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

Request Feature / Support

1,720+

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. הוא תומך ב-nullability, mutable/immutability ואחרים באמצעות אנוטציות או אינפרנסיה ומתחבר לבנייה באמצעות Gradle/Maven ול-GitHub Actions כדי לזהות בעיות בסביבת פיתוח וב-CI. על ידי ניתוח זרימת נתונים והגבלות סוג, הוא מזהה הפרות כמו NPE פוטנציאליות, aliasing לא מכוון או הפרות חוזה.

תרחיש עבודה מושכל: ספק קלטים (נתיבי מקור, classpath וספריות אנוטציה); המנתח בונה AST וחיתוך Qualifier, מעבד אנוטציות, מפיץ הגבלות דרך הצהרות ומדווח על הפרות עם נתוני קובץ ו-checker מדויקים. דוחות SARIF או JSON יכולים להיות מיוצאים לכלי אוטומציה.

הקהל הכולל צוותי הנדסה עם בסיסי קוד Java גדולים, מחברי ספריות ומהנדסי CI שצריכים בדיקות שחוזרות על עצמן. ערך ייחודי כולל checkers ניתנים להחלפה, qualifiers סטנדרטיים ותואם לכלי בנייה נפוצים, המאפשר יישום סקלאבילי across מודולים.

תכונות מפתח ומקרי שימוש: checkers סטנדרטיים ועד מותאמים אישית, ניתוחים אינקרמנטליים ומתמידים, ייצוא SARIF, אינטגרציה קלה ב-CI. מקרי שימוש: הגירה ל-null-safety מחמירה, ביקורת תלויות להתאמה ל 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

מצא תשובות מהירות

אילו שפות וגרסאות נתמכות?

ה-plugin של Checker Framework תומך בקוד Java מ-Java 8 עד Java 17, עם הערות תאימות לקומפילטורים חדשים יותר. הוא מסתמך עלdefn האנוטציות של הפרויקט ועל qualifiers סטנדרטיים.

איך להרחיב עם checkers מותאמים?

checkers מותאמים נוספים על-ידי מימוש ממשקי qualifier והרשמתם דרך הגדרות. זה מאפשר מגבלות ייעודיות לפרויקט יחד עם qualifiers סטנדרטיים.

ar-SA": { } /* placeholder to maintain structure; exact translations provided above for each language */

ar-SA

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, מאפשר האזנה offline ותאימות בין מכשירים למוזיקה בבעלות חוקית ואח...

מחשב מרחק דרך

מחשב מרחק דרך למטיילים, מתכנני לוגיסטיקה ונהגים כדי להעריך במהירות מרחקים וזמן בין מקומות.

מחשבון גיל

קבע במהירות את גיל האדם מבוסס על תאריך הלידה שלו עם המחשבון החינמי שלנו באינטרנט, מתאים לשימוש אישי...

הממיר מטבעות

המיר במהירות סכומים בין מטבעות שונים עם הממיר חינם שלנו, מתאים לנסיעות, עסקים וקונים בינלאומיים.

המשוב שלך חשוב

עזור לנו לשפר