cclyzerpp

Cclyzer ++

Cclyzer ++ ist eine präzise und skalierbare globale Zeigeranalyse für LLVM -Code. Die Ausgabe von CClyzer ++ kann für eine Vielzahl von Programmanalysaufgaben verwendet werden, darunter:

• Erstellung von Callgraphs mit präziser Handhabung indirekter Funktionsaufrufe und virtuellen Methodenaufrufe
• Präzise inter-procedurale Kontroll- und Datenflussanalyse
• Beantwortung von May-Alias ​​und Must-ALIAS-Abfragen

Cclyzer ++ ist Feld- und Array-sensitiv, führt eine Callgraph-Konstruktion im Laufe der Fliege durch und unterstützt viele verschiedene Konfigurationen der Kontextsensitivität, einschließlich der K -CallSite-Empfindlichkeit. Es verfügt über subset-basierte (Andersen-Stil) und ein Vereinigung (Steensgaard-Stil). Cclyzer ++ ist in Soufflé Datalog geschrieben und ist daher sehr parallel. Cclyzer ++ wurde von Cclyzer abgeleitet.

Weitere Informationen zu CCzlyer ++ finden Sie in der Dokumentation, einschließlich Beispiele für die Ausgabe. Die Dokumentation ist auch online verfügbar.

Wenn Sie CClyzer ++ in Ihren eigenen Arbeiten verwenden, geben Sie bitte die folgenden Zitate an:

• Langston Barrett und Scott Moore. "Cclyzer ++: skalierbare und präzise Zeigeranalyse für LLVM." https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• George Balatsouras und Yannis Smaragdakis. "Struktur-sensitive Punkte zu Analyse für C und C ++." In statischer Analyse: 23. Internationales Symposium, SAS 2016, Edinburgh, Großbritannien, 8. bis 10. September 2016, Proceedings 23, S. 84-104. Springer Berlin Heidelberg, 2016.

Anerkennung

Dieses Material basiert auf Arbeiten, die von der United States Air Force and Defense Advanced Research Project Agency (DARPA) unter Vertrag Nr. FA8750-19-C-0004 unterstützt werden. Alle Meinungen, Ergebnisse und Schlussfolgerungen oder Empfehlungen, die in diesem Material geäußert werden, sind die der Autoren und spiegeln nicht unbedingt die Ansichten der US -amerikanischen Luftwaffe oder DARPA wider. Für die öffentliche Freigabe zugelassen, Distribution Unlimited.