期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一种基于抽象解释和通用单调数据流框架的值范围分析方法 被引量：10

An Value Range Analysis Based on Abstract Interpretation and Generalized Monotone Data Flow Framework
下载PDF
导出
摘要 安全而又精确的值范围分析对编译器优化至关重要.系统地提出了一个基于抽象解释和通用单调数据流框架的值范围分析框架,包括精确的定义、分析和完整的正确性证明.与一般的值范围分析方法不同,该框架不仅包括抽象解释,还包括与之对应的具体解释,以及相应的正确性证明. Safe and accurate value range analysis is crucial for compiler optimization. Based on abstract interpretation and generalized monotone data flow framework, a complete framework for value range analysis is proposed in this paper. Different from other value range analysis methods, this framework includes complete definitions, analysis and correctness proofs. Compared with general theory about abstract interpretation, the method focuses on value range analysis, so the analysis and the proof of the analysis is straightforward.
作者 姬孟洛 王怀民 李梦君 董威 齐治昌
机构地区 国防科学技术大学计算机学院
出处 《计算机研究与发展》 EI CSCD 北大核心 2006年第11期2020-2026,共7页 Journal of Computer Research and Development
基金 国家自然科学基金项目(60303013) 国家"九七三"重点基础研究发展规划基金项目(2005CB321804)
关键词 值范围分析 抽象解释 编译器优化 软件工程 value range analysis abstract interpretation compiler optimization software engineering
分类号 TP314 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1J Birch,R van Engelen,K Gallivan.Value range analysis of conditionally updated variables and pointers[C].In:Proc of Compilers for Parallel Computing (CPC),2004.265-276.http://www.cs.fsu.edu/～engelen/cpcpaper.pdf
  • 2J R C Patterson.Accurate static branch prediction by value range propagation[C].In:Proc of ACM SIGPLAN'95 Conf on Programming Language Design and Implementation.New York:ACM Press,1995.67-78
  • 3C A Healy,M Sjdin,D B Whalley.Bounding loop iterations for timing analysis[C].In:Proc of IEEE Real-Time Technology and Applications Symposium.Los Alamitos,CA:IEEE Computer Society Press,1998.12-21
  • 4Jan Gustafsson,A Ermedahl.Automatic derivation of path and loop annotations in object-oriented real-time programs[J].Parallel and Distributed Computing Practices,1998,1(2):1-74
  • 5C A Healy,D B Whalley.Automatic detection and exploitation of branch constraints for timing analysis[J].IEEE Trans on Software Engineering.2002,28(8):763-781
  • 6F Nielson,H R Nielson,C Hankin.Principles of Program Analysis[M].Berlin:Springer-Verlag,1999
  • 7W H Harrison.Compiler analysis of the value ranges for variables[J].IEEE Trans on Software Engineering.1977,3(3):243-250
  • 8P Cousot,R Cousot.Abstract interpretation:A unified model for static analysis of programs by construction or approximation of fixpoints[C].In:Proc of the 4th ACM Symposium on Principles of Programming Languages.New York:ACM Press,1977.238-252
  • 9F Bourdoncle.Abstract debugging of higher-order imperative languages[C].In:Proc of ACM SIGPLAN'93 Conf on Programming Language Design and Implementation.New York:ACM Press,1993.46-55
  • 10Jan Gustafsson.Analysing execution-time of object-oriented programs using abstract interpretation:[Ph D dissertation][D].Uppsala,Sweden:Uppsala University,2000

同被引文献62

  • 1蔡金锭,黄东泉.容差网络可及点合理选择的区间分析法[J].电子科学学刊,1995,17(4):359-364. 被引量：6
  • 2姬孟洛,李军,王馨,齐治昌.一种基于抽象解释的WCET自动分析工具[J].计算机工程,2006,32(14):54-56. 被引量：10
  • 3Harrison W H. Compiler analysis of the value ranges for variables. IEEE Transactions on Software Engineering, 1977, 3(3): 243 -250.
  • 4Simon A. Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities. Berlin: Springer, 2008.
  • 5Cousot P, Cousot R. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints//Proceedings of the 4th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'77). Los Angeles, California, USA, 1977:238-252.
  • 6Cousot P, Cousot R. Static determination of dynamic properties of programs//Proceedings of the 2nd International Symposium on Programming, Paris, France, 1976:106-130.
  • 7Blanchet B, Cousot P, Cousot R, Feret J, Mauborgne L, Mine A, Monniaux D, Rival X. A static analyzer for large safety-critical software//Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI' 03). San Diego, California, USA, 2003:196-207.
  • 8Cousot P, Halbwachs N. Automatic discovery of linear restraints among variables of a program//Proceedings of the 5th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL' 78). Tucson, Arizona, USA, 1978:84- 97.
  • 9Mine A. The octagon abstract domain. Higher-Order and Symbolic Computation, 2006, 19(1): 31-100.
  • 10Mine A. Symbolic methods to enhance the precision of numerical abstract domains//Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI ' 06). Charleston, South Carolina, USA, 2006:348-363.

引证文献10

二级引证文献27

计算机研究与发展
2006年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部