yapall

Noch eine Zeigeranalyse für LLVM

Yapall ist eine präzise und skalierbare Zeigeranalyse für LLVM. Die Ausgabe von Yapall kann für eine Vielzahl von Programmanalyseaufgaben verwendet werden, darunter:

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

Yapall ist k-callSite-sensitiv für konfigurierbare K, Field-, Array- und Flow-Insibel und führt im Fliege-Callgraph-Konstruktion durch. Yapall wird mit dem Aufstieg geschrieben und ist daher sehr parallel.

Weitere Informationen finden Sie in der Dokumentation.

Anerkennung

Dieses Material basiert auf Arbeiten, die von der Defense Advanced Research Projects Agency (DARPA) unter Vertrag Nr. N6001-21-C-4023 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 von DARPA wider.

Verteilung

Verteilungserklärung A. Zugelassen für die Veröffentlichung: Verteilung Unlimited.