> Статическая типизация является вырожденным частным случаем статического анализа > кода. анализ кода при написании/компиляции никак не пересекается с анализом типов данных рантайм.