HOME | ENGLISH | IMPRESSUM | KIT

Konferenzartikel: Speeding up context-, object- and field-sensitive SDG generation

[graf10scam]Jürgen Graf, Speeding up context-, object- and field-sensitive SDG generation, 9th IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 105--114, September 2010.

Zusammenfassung

System dependence graphs (SDGs) are an established tool for precise interprocedural program analysis. We present new techniques for the efficient generation of SDGs for full Java, which are context-, field- and object-sensitive. We show that previous approaches to the generation of interprocedural dependencies for Java do not scale, as they interfere with the points-to analysis. Our new algorithm is based on the WALA framework and reduces time and memory consumption up to 90%, while maintaining precision.

Download

  [PDF]   [DOI]

BibTeX

Institutsinterne Autoren

Ehemalige Mitarbeiter
Dr.-Ing. Jürgen Graf

Projekte

Projekt
VALSOFT/Joana