چرا Type-Safety در CLR مهم است؟

یکی از قابلیت های اصلی که Common Language Runtime در دات نت فراهم می کند Type-Safety است.

امنیت نوع یا Type-Safety تضمین می‌کند که متغیرها در خطوط برنامه دارای نوع متغیر همسان یا سازگار باهم باشند. در این حالت CLR در صورت عدم مطابقت بین نوع متغیرها از اجرای برنامه جلوگیری میکند تا با این روش درستی اجرای برنامه را تضمین کند.

امنیت نوع با جلوگیری از دسترسی غیرمجاز یا تغییر خانه های حافظه، به امنیت حافظه کمک می‌کند. در CLR، همه اشیاء به نوع خود مرتبط می‌شوند و در زمان اجرا صحت نوع چک میشود. این کار از خطاهای متداول برنامه‌نویسی مانند سرریز بافر، استثناء null و عدم تطابق نوع جلوگیری می‌کند. هر کدام از این موارد می‌تواند به آسیب‌پذیری‌های امنیتی، کرش‌ها یا رفتار غیرقابل پیش‌بینی ختم شود.

مثلا درحملات type confusion کد مخرب سعی میکند با بهره‌برداری از اشیاء با نوع ضعیف یا نادرست داده های برنامه را دستکاری کند و رفتار آن را تغییر دهد.

با اجرای صحت نوع در CLR امکان این نوع آسیب‌پذیری‌هایی در زبانهای دات نت کمتر میشود.
‏