بهینه‌سازی تحلیل‌های امنیتی و کارایی در برنامه‌نویسی شیءگرا