تحلیل ایستا (Static Analysis) در توسعه سیستم‌عامل و درایورهای هسته