Может кто-нибудь указать мне на фреймворк или реализацию анализа псевдонимов для Java. Я посмотрел на структуру asm, но он обеспечивает только анализ потока данных и анализ потока управления.
Обновление: просто любопытно, но кто-нибудь знает, делает ли Findbugs анализ псевдонимов?
Я знаю три структуры анализа программ с открытым исходным кодом с анализом псевдонимов для Java:
Обратите внимание, что то, что на самом деле реализовано в этих рамках, - это point-to analysis, с помощью которого можно определить возможное наложение. Некоторые подробности анализа указателей WALA доступны в http://wala.sourceforge.net/wiki/index.php/UserGuide:PointerAnalysis.
Я думаю, что это довольно важный вопрос, так как анализ анализов/псевдонимов является фундаментальным моментом большинства задач анализа программ. Итак, вот моя попытка более полного списка фреймворков для Java. Некоторые из них более полны, чем другие, и это активная область исследований, поэтому я, возможно, пропустил несколько. Трудно сказать, какая реализация является лучшей, но DOOP и SPARK кажутся популярным выбором среди ученых.
Бонусные дополнительные инструменты для работы с сторонними библиотеками.
Там doop, который я видел в OOPSLA, но я не знаю, в каком состоянии он находится.
Я не знаю других реализаций, всего тонны бумаг.
Одна возможность Sawja, реализованная в OCaml. Похоже, что он не содержит анализа псевдонимов, но он предлагает строительные блоки для его создания.
Что касается вашего обновления, Bill Pugh Google, это звучит так, как Findbugs ищет определенные шаблоны в коде без разрешения указателей. Конечно, это было в 2006 году, поэтому кто знает, что произошло с тех пор... Время летит быстро.
Наш DMS Software Reengineering Toolkit и его Java Front End может быть использован для его создания.
DMS обеспечивает общий синтаксический анализ общего назначения, построение таблицы дерева/символа и анализ потока (поток управления, поток данных, точки-на, график вызовов,...). Соединив переднюю часть с этим оборудованием, можно выполнить анализ, специфичный для langauge, без необходимости создавать большую часть оборудования с нуля. Они были использованы для создания глобальных точек - для анализа и построения графика вызовов на очень больших C-приложениях и анализа потока управления на С++.
Для Java у нас есть метод-локальный поток управления и некоторые аспекты локального потока данных. Чтобы выполнить хороший анализ псевдонимов, вам нужно заполнить структуру графика вызовов.