В моем проекте у меня есть две проблемы для решения.контекстно-зависимый график вызовов для java-байт-кода и межпроцедурной структуры анализа потока данных?
1: Мне нужен контекстно-зависимый граф вызовов для java (байт-код). Здесь контекст представляет собой стек вызовов метода, то есть для разных точек вызова того же метода, граф вызовов включает в себя две копии метода, отличающие разные точки вызова. Я знаю, что Paddle и Soot могут это сделать, но библиотеки, используемые Paddle, доступны только на win32, и я использую Win64 для его больших воспоминаний (необходимых в моем проекте). Может ли wala генерировать такой контекстно-зависимый граф вызовов? Какие инструменты следует использовать?
2: Я хочу использовать межпроцессную структуру анализа потока данных в своем проекте. Поскольку я не фокусируюсь на этой теме, я не знаю, какой из них является наиболее подходящим инструментом. Я знаю, что Сут реализовал структуру IFDS/IDE (алгоритм RHS popl 1995), но он не чувствителен к контексту. WALA также реализует это, и я изучаю это. Я хочу знать, существуют ли другие реализации межпроцессной структуры анализа потока данных для Java. Возможно, jChord также работает для меня.
Может ли кто-нибудь дать мне какое-нибудь предложение? Спасибо. Студент Поппер