cclyzerpp

cclizer ++

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

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

CCLEZER ++ чувствителен к полевым и массивам, выполняет конструкцию Callgraph на лете и поддерживает множество различных конфигураций контекстной чувствительности, включая чувствительность к k -калситу. Он имеет анализы на основе подмножества (стиль Андерсена) и объединения (стиль Steensgaard). CCLEZER ++ написан в Soufflé Datalog, и поэтому он очень параллелен. CCLEZER ++ был получен из CCLEZER.

См. Документацию для получения дополнительной информации о CCZLYER ++, включая примеры ее вывода. Документация также доступна онлайн.

Если вы используете CCLEZER ++ в собственной работе, укажите следующие цитаты:

• Лэнгстон Барретт и Скотт Мур. «Cclizer ++: масштабируемый и точный анализ указателя для LLVM». https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• Джордж Балацурас и Яннис Смарагдакис. «Структурно-чувствительные точки-анализ для C и C ++». В Статическом анализе: 23-й Международный симпозиум, SAS 2016, Эдинбург, Великобритания, 8-10 сентября 2016 г., Труды 23, с. 84-104. Springer Berlin Heidelberg, 2016.

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

Этот материал основан на работе, поддерживаемой Агентством ВВС и обороны Соединенных Штатов и обороны (DARPA) в соответствии с контрактом № FA8750-19-C-0004. Любые мнения, выводы и выводы или рекомендации, выраженные в этом материале, являются мнениями автора (-ов) и не обязательно отражают взгляды ВВС США или DARPA. Одобрено для публичного освобождения, дистрибуция неограниченное.