SafeMath
ברוב שפות התכנות המודרניות, בטיחות בפעולות אריתמטיות מובאת בחשבון, ולכן מעט מחשבה מושקעת ביישום שלהן. עם זאת, בסולידיטי, הצפות וזרימות חסרות מהוות סיכון ביטחוני.
SafeMath היא ספרייה המבטיחה פעולות אריתמטיות בטוחות על ידי החזרת העסקה אם חריגה מהגבולות של סוג נתונים שלמים.
אל האני using הצהרה מציינת למהדר שהחוזה משתמש בפונקציות המוגדרות ב SafeMath ל uint פעולות. במקום להשתמש באופרטורים אריתמטיים (+, -, *, /, %), השתמש בפונקציות add(), sub(), mul(), div(), ו mod().