Предопределенный алгоритм для быстрого анализа типов и анализа переменных типов
Я пытаюсь выполнить программный анализ исходного файла Java. Существует ли какой-либо предопределенный алгоритм для выполнения анализа переменных типов и быстрого анализа типов?
2 ответа
Сажа является основой для анализа Java.
"Среда Soot для анализа программ Java: ретроспектива" говорит, что модуль Spark может иметь отношение к тому, что вы делаете:
Spark реализует несколько различных методов построения графа вызовов, включая анализ иерархии классов и быстрый анализ типов; тем не менее, мы обнаружили, что наиболее эффективный метод построения графа вызовов выполняется на лету и строит график вызовов одновременно с вычислением наборов "точка-точка", начиная с графика вызовов CHA в качестве начального приближения для набора достижимых методы.