Сейчас я пытаюсь создать проверку статического анализатора для передачи полезной нагрузки NSDictionary в методах.Каковы предварительные условия: ключи этого словаря и классы значений известны во время компиляции.
Насколько я понимаю, из разговора «Написание своей собственной программы проверки за 24 часа» это значение можно предсказать с помощью SVal и мы можем сказать, что он либо присутствует, либо отсутствует, либо неизвестен.Но, может быть, мы можем быть более конкретными?Подробной информации об этом не так много, поэтому мне остается только анализ AST, но, может быть, есть лучший способ?