מפקח Sofcheck. מפקח Sofcheck הוא כלי ניתוח סטטי שמעלם שגיאות ב- Java Bytecode.
הורד עכשיו

מפקח Sofcheck. דירוג וסיכום

מפקח Sofcheck. תגים

ניתוח סטטי. לזהות שגיאה מפקח שגיאות רועי מקסימום שְׁגִיאָה לזהות גַלַאִי מְפַקֵחַ Java bytecode. bytecode גנרטור Java bytecode Cpython bytecode. מפקח מקצועי מפקח פרודוקטיביות מהדר bytecode. מפקח תיקים מפקח PC הפוך bytecode. bytecode debugger. צג java bytecode. לנתח את Java Bytecode. bytecode trace ניתוח קוד סטטי מפקח התוכנית ניתוח מבני סטטי. bytecode weaver. Bytecode מעורב מפקח תאימות כלי ניתוח סטטי מכשיר Java bytecode לשנות bytecode. ניתוח java bytecode. שינוי קוד בתים של Java שינוי bytecode. ליצור java bytecode. ניתוח ערימת Java Bytecode viewer. Java bytecode מניפולציה Java bytecode מסגרת מפקח אתרים ניתוח סטטי קוד Java bytecode Java נוף Java bytecode הצופה decompile java bytecode.

מפקח Sofcheck. תיאור

מפקח Sofcheck הוא כלי איתור שגיאות סטטי המזהה באופן אוטומטי שגיאות תכנות אפשריות ומאמת נכונות הגיונית, ללא הסתמכות על בדיקות זמן ריצה אינטנסיבית. זה משתלב לתוך כלי פיתוח קיימים ותהליכים. מפקח Sofcheck מבצע בדיקות קו לפי שורה בצורה אוטומטית לחלוטין, ומבטיחה כיסוי נתיב מלא. מפקח Sofcheck מוצא פגמים מוקדם בתהליך הפיתוח - בשילוב עם קומפילציה - כאשר הם לפחות יקר לתקן. בנוסף, ניתן להפעיל אותו בקוד הקיים כדי למצוא פגמים סמויים לפני שהם הופכים לבעיה בתחום. מפקח Sofcheck יתמוך במערכות גדולות ולאתר מגוון רחב של שגיאות תכנות כמו שימוש לרעה של מצביעים, באינדקס של מערכים, גליץ מאגר (מקור נמרץ של דליפות אחסון אבטחה,) גלים נומרים, עטיפות מספריות ושימוש לא תקין של ממשקי תכנות יישומים ( APIs). זה pinpoints הגורם השורש של כל שגיאה למטה לקו המקור של קוד. גם בהיעדר שגיאות מפורשות, מפקח סופק מספק אפיון יסודי של כל מרכיב של המערכת במונחים של תשומותיה, יציאות, יצירות אובייקט ערמות, התנאים המוקדמים על התשומות הדרושות לכישלונות זמן ההחזרה, על ערכי התשואה של שיטות חיצוניות, ואת postcritions המאפיינים את טווח הפלט. בדיקה עשויה להיות שנתית משורת הפקודה או באופן אינטראקטיבי, תוך שימוש במפקח Sofcheck Console.

מפקח Sofcheck. תוכנה קשורה