زبان‌های برنامه‌نویسی و تحلیل ایستا (Static Analysis)