تحلیل ایستا و امنیت در توسعه سیستم‌عامل