Static analysis: A survey of techniques and tools

被引：0

作者：

Gosain, Anjana ^{[1
]}

Sharma, Ganga ^{[1
]}

机构：

[1] USICT, Guru Gobind Singh Indraprastha University, New Delhi

来源：

Advances in Intelligent Systems and Computing | 2015年 / 343卷

关键词：

Abstract interpretation; Constraint solving; Data flow analysis; Static analysis; Symbolic execution; Theorem proving;

D O I：

10.1007/978-81-322-2268-2_59

中图分类号：

学科分类号：

摘要：

Static program analysis has shown tremendous surge from basic compiler optimization technique to becoming a major role player in correctness and verification of software. Because of its rich theoretical background, static analysis is in a good position to help produce quality software. This paper provides an overview of the existing static analysis techniques and tools. Further, it gives a critique of static analysis approach over six attributes, namely precision, efficiency, coverage, modularity, scalability, and automation. © 2015, Springer India.

引用

页码：581 / 591

页数：10

共 48 条

[1]

Aho A., Sethi R., Ullman J., Compilers: Principles, Techniques, Tools, Addison Wesley, (1986)

[2]

Nielson F., Nielson H.R., Hankin C., Principles of Program Analysis, (1996)

[3]

Kirkov R., Agre G., Source Code Analysis: An Overview, Cybernetics and Information Technologies, (2010)

[4]

Ball T., The concept of dynamic analysis, Proceedings of 7th ACM/SIGSOFT Conference on Foundations of Software Engineering, (1999)

[5]

Binkley D., Source Code Analysis: A Road Map, Future of Software Engineering, pp. 15-30, (2007)

[6]

Ernst M.D., Static and dynamic analysis synergy and duality, Proceedings of the 5th ACM Workshop on Program Analysis for Software Tools and Engineering, (2004)

[7]

Gosain A., Sharma G.A., Survey of dynamic program analysis techniques and tools, Proceedings of 3rd International Conference on Frontiers in Intelligent Computing Theory and Applications, Bhubaneshwar, 1, pp. 113-122, (2014)

[8]

Bentonino A., Software testing research: Achievements, challenges, dreams, Future Softw. Eng, (2007)

[9]

Emaneulsson P., Nilson U., A comparative study of industrial static analysis tools, Electron. Notes Theor. Comput. Sci, 217, pp. 5-21, (2008)

[10]

Brat G., Venet A., Precise and scalable static program analysis of NASA flight software, IEEE Aerospace Conference, March, (2005)

← 1 2 3 4 5 →