سرریز عدد صحیح (Integer Overflow) زمانی رخ می‌دهد که سعی کنیم مقداری بزرگ‌تر از بیشترین مقدار قابل ذخیره در یک نوع داده عدد صحیح را ذخیره کنیم.
حمله بازگشتی (Reentrancy Attack) از آسیب‌پذیری موجود در قراردادهای هوشمند استفاده می‌کند
در زمینه‌ی نوشتن قراردادهای هوشمند Smart Contracts زبان های زیادی کاربرد دارند در دنیای فناوری بلاکچین (Blockchain) ، سولیدیتی (Solidity) نقش حیاتی در توسعه قراردادهای هوشمند (Smart Contracts) بر بستر اتریوم (Ethereum) دارد.
اتریوم (Ethereum) یک پلتفرم بلاکچین Blockchain غیرمتمرکز Decentralized است که شبکه‌ای همتابه‌همتا (Peer-to-Peer) را برقرار می‌کند تا قراردادهای هوشمند (Smart Contracts) را به‌صورت ایمن اجرا و تأیید کند.
در این سرویس به صورت اتوماتیک آسیب پذیری های قراردادهای هوشمند شناسایی شده و در یک گزارش جامع ارائه می شود.
