Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Unpublished Draft A Static Analysis To Extract Dataflow Edges From

Summary: Unpublished Draft
A Static Analysis To Extract Dataflow Edges From
Object-Oriented Programs with Ownership Domain Annotations
Suhib Rawshdeh Marwan Abi-Antoun
Department of Computer Science
Wayne State University
{suhib, mabiantoun}@wayne.edu
Many fully automated static analyses extract flat, non-
hierarchical object graphs which do not scale to the entire
program because they grow larger in size. Abi-Antoun and
Aldrich had recently proposed the SCHOLIA approach to ex-
tract hierarchical object graphs from object-oriented code
with ownership domain annotation. But, the SCHOLIA ob-
ject graph showed only one kind of relation between objects,
namely points-to edges due to field references.
In this paper, we propose a static analysis to extract a hi-
erarchical object graph which shows dataflow edges, which
we define to be usage edges which show the flow of objects
in the system. We informally describe the analysis, formalize
it using constraint-based inference rules and conjecture that


Source: Abi-Antoun, Marwan - Department of Computer Science, Wayne State University


Collections: Computer Technologies and Information Sciences