Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses-Reference-Cited by-同舟云学术

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses

Published:1998 Issue: Volume: Page:57-81
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Hind Michael,Pioli Anthony

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49727-7_4

Reference50 articles.

1. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. Available at ftp.diku.dk/pub/diku/semantics/papers/D-203.dvi.Z .

2. Todd Austin. Pointer-intensive benchmark suite, version 1.1. http://www.cs.wisc.edu/~austin/ptr-dist.html , 1995.

3. Subra Balan and Walter Bays. Spec announces new benchmark suites cint92 and cfp92. Technical report, Systems Performance Evaluation Cooperative, March 1992. SPEC Newsletter 4(1).

4. Lect Notes Comput Sci;M. Burke,1995

5. Michael Burke, Paul Carini, Jong-Deok Choi, and Michael Hind. Interprocedural pointer alias analysis. Research Report RC 21055, IBM T. J. Watson Research Center, December 1997.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Golang Defect Detection based on Value Flow Analysis;2024 9th International Conference on Electronic Technology and Information Science (ICETIS);2024-05-17

2. Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

3. Hybrid traversal;Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings;2018-05-27

4. Region-Based Selective Flow-Sensitive Pointer Analysis;Static Analysis;2014

5. Liveness-Based Pointer Analysis;Static Analysis;2012