Я пытаюсь выполнить анализ байт-кода Java для try / catch с помощью Soot. Я могу получить операторы в блоке try и первый оператор в блоке catch, но не могу знать, где заканчивается блок catch. Как я могу получить конечное утверждение?
Это немного сложнее, его нужно вычислить. Оператор, следующий за блоком catch, будет «постдоминирующим» для всех операторов в блоке catch. Вы можете использовать этот класс, чтобы найти постдоминаторов: https://www.sable.mcgill.ca/soot/doc/soot/toolkits/graph/MHGPostDominatorsFinder.htm