Каковы компромиссы при выполнении статического анализа исходного кода, байт-кода, машинного кода и т.д.?

Каковы различные компромиссы при выполнении статического анализа на различных уровнях кода? Например, для Java, почему кто-то должен выполнять статический анализ исходного кода Java по сравнению с Jasmin кодом по сравнению с байткодом Java? Ограничивает или расширяет выбор различных типов анализа? Влияет ли этот выбор на корректность анализа? Спасибо.