yapall

Еще один анализ указателя для LLVM

Yapall является точным и масштабируемым анализом указателя для LLVM. Вывод Yapall можно использовать для различных задач анализа программ, включая:

• Создание вызовов с точной обработкой вызовов косвенных функций и вызовов виртуальных методов
• Точный межпроцедурный анализ контроля и потока данных
• Отвечая на запросы May-Alias

Yapall чувствителен к K-образным счетам для настраиваемой K, Field-, Array- и Flow нечувствительна, и выполняет конструкцию Callgraph на лете. Yapall написан с использованием подъема, и поэтому он очень параллелен.

Для получения дополнительной информации см. Документацию.

Благодарности

Этот материал основан на работе, поддерживаемой Агентством Advanced Research Projects (DARPA) в соответствии с контрактом № N66001-21-C-4023. Любые мнения, выводы и выводы или рекомендации, выраженные в этом материале, являются мнениями автора (-ов) и не обязательно отражают взгляды DARPA.

Распределение

Заявление о распределении A. Утверждено для публичного освобождения: Distribution Unlimited.