Unification-based pointer analysis with directional assignments

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

Volumn , Issue , 2000, Pages 35-46

  Das, M ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); INTEGER PROGRAMMING; PROGRAM PROCESSORS;

CONTEXT INSENSITIVE POINTER ANALYSIS; FLOW INSENSITIVE POINTER ANALYSIS;

DATA FLOW ANALYSIS;

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

References (24)

1. Effective whole-program analysis in the presence of pointers
2. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side-effects
3. Context-sensitive interprocedural points-to analysis in the presence of function pointers
4. Partial online cycle elimination in inclusion constraint graphs
5. From polymorphic subtyping to CFL reachability: Context-sensitive flow analysis using instantiation constraints
6. Scalable context-sensitive flow analysis using instantiation constraints
7. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
8. Efficient type inference for higher-order binding-time analysis
9. Simple closure analysis
10. Efficient points-to analysis for whole program analysis
11. A safe approximate algorithm for interprocedural pointer aliasing
12. Off-line variable substitution for scaling points-to analysis
13. Aggregate structure identification and its application to program analysis
14. Projection merging: Reducing redundancies in inclusion constraint graphs
15. The effects of the precision of pointer analysis
16. Fast and accurate flow-insensitive points-to analysis
17. Parametric shape analysis via 3-valued logic
18. Points-to analysis by type inference of programs with structures and unions
19. Points-to analysis in almost linear time
20. Data structures and network flow algorithms
21. Efficient context-sensitive pointer analysis for C programs
22. Pointer analysis for programs with structures and casting