Speeding up context-, object- and field-sensitive SDG generation
Abstract:
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.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2010 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-0-7695-4178-5 KITopen-ID: 1000027782 |
| Erschienen in | 10th IEEE International Working Conference on Source Code Analysis and Manipulation, Timisoara, Romania , September 12-13, 2010. Ed.: J. Vinju |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 105-114 |
| Projektinformation | KASTEL I (BMFTR, 01BY1172 / 16BY1172) |
| Nachgewiesen in | Scopus |