תרגול אבחון פלט וזיכרון

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

תקנו את בדיקת הפרוסה הפגומה והריצו את הגרסה המתוקנת ב־Miri. הוסיפו בדיקת תכונה פשוטה שמייצרת באופן דטרמיניסטי באפרים באורכים שונים ומשווה את שני המימושים.

בחרו באג אחד מהעטיפות הקודמות וציינו אם Miri, בדיקת ABI, sanitizer בצד סי או בדיקת קומפילציה שלילית הם הכלי המתאים. נמקו לפי החוזה שהבאג מפר ולא לפי הכלי שאתם רגילים להריץ.