Анализатор заражения, предоставляемый roslynsecurityguard (C #), поддерживает только внутрипроцедурный анализ заражения. Может ли кто-нибудь предложить какой-либо другой инструмент, который может выполнять межпроцедурный анализ заражения для C #?
Заранее спасибо!