DocumentCode
2569379
Title
Speeding Up Context-, Object- and Field-Sensitive SDG Generation
Author
Graf, Jürgen
Author_Institution
Karlsruhe Inst. of Technol. (KIT), Karlsruhe, Germany
fYear
2010
fDate
12-13 Sept. 2010
Firstpage
105
Lastpage
114
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.
Keywords
object-oriented languages; program slicing; Java; SDG generation; WALA framework; interprocedural program; object-sensitive; points-to analysis; speeding up context; system dependence graphs; Analytical models; Computational modeling; Data structures; Java; Object oriented modeling; Runtime; Scalability; interprocedural data flow; object oriented; program analysis; slicing; static analysis; system dependence graph;
fLanguage
English
Publisher
ieee
Conference_Titel
Source Code Analysis and Manipulation (SCAM), 2010 10th IEEE Working Conference on
Conference_Location
Timisoara
Print_ISBN
978-1-4244-8655-7
Type
conf
DOI
10.1109/SCAM.2010.9
Filename
5601825
Link To Document