4th International Conference on Computer and Knowledge Engineering , 2014-10-29

Title : ( Flow-Sensitive Points-to Analysis for Java Programs using BDDs )

Authors: Hamid A. Toussi , Abbas Rasoolzadegan ,

Access to full-text not allowed by authors

Citation: BibTeX | EndNote

Abstract

Doing a flow-sensitive points-to analysis benefits many program analyses which need precise results, however, many prefer to do a flow-insensitive analysis to gain speed and overcome the memory limitations of a flow-sensitive points-to analysis. We are able to overcome these limitations by representing and manipulating points-to sets more efficiently. Binary Decision Diagrams (BDDs) have been shown to be a very efficient representation of points-to sets. A reasonable formulation of the solution is of great importance to achieve this efficiency. In this work, we formulate and employ BDDs to represent points-to sets in flow-sensitive points-to analysis for Java programs. Our method was compared with default points-to set in Soot program analysis framework (hybrid points-to set). The results are very promising and show the effectiveness of our method for sufficiently large programs.

Keywords

, Software Engineering, Program Analysis, Points-to Analysis, Binary Decision Diagrams
برای دانلود از شناسه و رمز عبور پرتال پویا استفاده کنید.

@inproceedings{paperid:1044059,
author = {Hamid A. Toussi and Rasoolzadegan, Abbas},
title = {Flow-Sensitive Points-to Analysis for Java Programs using BDDs},
booktitle = {4th International Conference on Computer and Knowledge Engineering},
year = {2014},
location = {مشهد, IRAN},
keywords = {Software Engineering; Program Analysis; Points-to Analysis; Binary Decision Diagrams},
}

[Download]

%0 Conference Proceedings
%T Flow-Sensitive Points-to Analysis for Java Programs using BDDs
%A Hamid A. Toussi
%A Rasoolzadegan, Abbas
%J 4th International Conference on Computer and Knowledge Engineering
%D 2014

[Download]