Speeding up dataflow analysis using flow-insensitive pointer analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2477, Issue , 2002, Pages 230-246

  Adams, Stephen ^a   Ball, Thomas ^a   Das, Manuvir ^a   Lerner, Sorin ^b   Rajamani, Sriram K ^a   Seigle, Mark ^b   Weimer, Westley ^c  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF WASHINGTON   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW VISUALIZATION; MODEL CHECKING; STATIC ANALYSIS; VERIFICATION;

EXPERIMENTAL EVIDENCE; INTER-PROCEDURAL; LARGE PROGRAMS; POINTER ANALYSIS; PRE-PROCESSING STEP; PROGRAM VERIFICATION; SOFTWARE MODEL CHECKING; TYPESTATE ANALYSIS;

DATA FLOW ANALYSIS;

EID: 84958775802     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45789-5_18     Document Type: Conference Paper

References (20)

1. Thomas Ball, Rupak Majumdar, Todd Millstein, and Sriram K. Raja-mani. Automatic predicate abstraction of c programs. In Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI-01), volume 35, pages 203-213, 2001.
2. Thomas Ball and Sriram K. Rajamani. Automatically validating temporal safety properties of interfaces. In Proceedings of SPIN '01, 8th Annual SPIN Workshop on Model Checking of Software, May 2001.
3. Thomas Ball and Sriram K. Rajamani. Bebop: A path-sensitive interpro-cedural dataflow engine. In Proceedings of PASTE '01, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, June 2001.
4. Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, October 1991.
5. R. Chatterjee, B. Ryder, and W. Landi. Relevant context inference. In Proceedings of POPL '99, 26st ACM SIGPLAN-SIGACT Symposium on Principles ofProgramming Languages, 1999.
6. Manuvir Das. Unification-based pointer analysis with directional assignments. In Proceedings of the ACM SIGPLAN 00 Conference on Programming Language Design and Implementation (PLDI-00), 2000.
7. Evelyn Duesterwald, Rajiv Gupta, and Mary Lou Soffa. Demand-driven computation of interprocedural data flow. In Symposium on Principles of Programming Languages, pages 37-48, 1995.
8. Manuvir Das, Ben Liblit, Manuel Fahndrich, and Jakob Rehof. Estimating the impact of scalable pointer analysis on optimization. In Proceedings of the 8th International Symposium on Static Analysis, 2001.
9. M. Das, S. Lerner, and M. Seigle. ESP: Path sensitive program verification in polynomial time. In Proceedings of the A CM SIGPLAN '02 Conference on Programming Language Design and Implementation (PLDI-02), June 2002.
10. Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-Sensitive Type Qualifiers. Technical Report UCB//CSD-01-1162, University of California, Berkeley, November 2001.
11. Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1):26-60, January 1990.
12. Susan Horwitz, Thomas Reps, and Mooly Sagiv. Demand-driven interprocedural dataflow analysis. In Proceedings of the A CM SIGSOFT Symposium on Foundations of Software Engineering Notes, volume 20, 1995.
13. Nevin Heintze and O. Tardeau. Ultra fast aliasing analysis using CLA: a million lines in a second. In Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI-01), 2001.
14. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In Proceedings of the 1997 International Conference on Software Engineering, 1997.
15. Atanas Rountev, Barbara G. Ryder, and William Landi. Data-flow analysis of program fragments. In Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 235-252, 1999.
16. E. Ruf. Partitioning dataflow analyses using types. In Conference Record of the Twenty-Fourth ACM Symposium on Principles of Programming Languages, 1997.
17. R. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Transactions on Software Engineering, 12(1):157-171, 1986.
18. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, 1995.
19. R. Wilson and Monica Lam. Efficient context-sensitive pointer analysis for C progams. In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI-95), 1995.
20. S. Zhang, B. Ryder, and W. Landi. Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses. In Fourth Symposium on the Foundations of Software Engineering (FSE4), 1996.