登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
上下文敏感的过程间指针分析
参考文献
  • [1] William Landi;Barbara G Ryder. A safe approximate algorithm for interprocedural pointer aliasing. 1992
  • [2] Wilson R P;Lam M S. Efficient context-sentive pointer analysis for C programs. La Jolla,CA, 1995
  • [3] Wilson R P. Efficient context-sensitive pointer analysis for c programs. Standford University, 1997
  • [4] Emami M;Ghiya R;Hendren L. Context-sensitive interprocedual points-to analysis in the presence of function pointers. Orlando,Florida, 1994
  • [5] Alain Deutsch. Interprocedural may-alias analysis for pointers:beyond k-limiting. Orlando,Florida, 1994
  • [6] Ghiya R;Hendren L J. Is it a tree,a DAG,or a cyclic graph? a shape analysis for heap-directed pointers in C. 1996
  • [7] Sean Zhang;Barbara G Ryder;William Landi. Experiments with combined analysis for pointer aliasing. 1998
  • [8] William Landi;Barbara G Ryder;Sean Zhang. Interprocedural modification side effect analysis with pointer aliasing. 1993
查看更多︾
相似文献 查看更多>>
3.223.3.101