Ultra-fast aliasing analysis using CLA: A million lines of C code in a second

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2001, Pages 254-263

  Heintze, N ^a   Tardieu, O ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DATA STORAGE EQUIPMENT; DATABASE SYSTEMS;

DATABASE-CENTRIC ANALYSIS;

PROGRAM COMPILERS;

EID: 0034832870     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. A toolkit for constructing type- and constraint-based program analyses
2. Solving systems of set constraints
3. Type inclusion constraints and type inference
4. Program analysis and specialization for the C programming language
5. Effective whole-program analysis in the presence of pointers
6. Physical type checking for C
7. Unification-based pointer analysis with directional assignments
8. Appendix D: Optimizing techniques (MIPS-based C compiler)
9. Partial online cycle elimination in inclusion constraint graphs
10. Componential set-based analysis
11. Polymorphic versus monomorphic flow-insensitive points-to analysis for C
12. Set-based analysis of ML programs
13. A decision procedure for a class of Herbrand set constraints
14. On the cubic-bottleneck of subtyping and flow analysis
15. On the complexity analysis of static analysis
16. Off-line variable substitution for scaling points-to analysis
17. Fast and accurate flow-insensitive points-to analysis
18. Projection merging: Reducing redundancies in inclusion constraint graphs
19. Points-to analysis in almost linear time