Experiments with combined analysis for pointer aliasing

Authors:
Sean Zhang;Barbara G. Ryder;William A. Landi
Affiliations:
Department of Computer Science, Rutgers University, Hill Center, Busch Campus, Piscataway, NJ;Department of Computer Science, Rutgers University, Hill Center, Busch Campus, Piscataway, NJ;Siemens Corporate Research Inc., 755 College Rd. East, Princeton, NJ
Venue:
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
1998

Citing 22
Cited 12

Detecting conflicts between structure accesses

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Dependence analysis for pointer variables

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Analysis of pointers and structures

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A safe approximate algorithm for interprocedural aliasing

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pointer-induced aliasing: a clarification

ACM SIGPLAN Notices
Interprocedural may-alias analysis for pointers: beyond k-limiting

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Context-sensitive interprocedural points-to analysis in the presence of function pointers

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Efficient context-sensitive pointer analysis for C programs

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Context-insensitive alias analysis reconsidered

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Points-to analysis in almost linear time

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program decomposition for pointer aliasing: a step toward practical analyses

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Fast and accurate flow-insensitive points-to analysis

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Partitioning dataflow analyses using types

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Comparing flow and context sensitivity on the modification-side-effects problem

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Interprocedural data flow analysis in the presence of pointers, procedure variables, and label variables

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallelizing Programs with Recursive Data Structures

IEEE Transactions on Parallel and Distributed Systems
Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers

LCPC '94 Proceedings of the 7th International Workshop on Languages and Compilers for Parallel Computing
The Effects of the Precision of Pointer Analysis

SAS '97 Proceedings of the 4th International Symposium on Static Analysis
Points-to Analysis by Type Inference of Programs with Structures and Unions

CC '96 Proceedings of the 6th International Conference on Compiler Construction
Practical pointer aliasing analysis

Practical pointer aliasing analysis

Equivalence analysis: a general technique to improve the efficiency of data-flow analyses in the presence of pointers

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Interprocedural pointer alias analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Complexity of Points-To Analysis of Java in the Presence of Exceptions

IEEE Transactions on Software Engineering
Pointer analysis: haven't we solved this problem yet?

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A schema for interprocedural modification side-effect analysis with pointer aliasing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Equivalence analysis and its application in improving the efficiency of program slicing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses

SAS '98 Proceedings of the 5th International Symposium on Static Analysis
A safe approximate algorithm for interprocedural pointer aliasing

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Error checking with client-driven pointer analysis

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Client-driven pointer analysis

SAS'03 Proceedings of the 10th international conference on Static analysis
A novel analysis space for pointer analysis and its application for bug finding

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present initial empirical experiments with combined analysis, a scalabk analysis technique that uses a program decomposition to apply different aliasing algorithms to independent program segments. The effectiveness of the solution strategy is validated through application to side-effect and reference analysis of C programs.