Static and dynamic analysis: synergy and duality
作者： Michael D. Ernst
DOI:
关键词: Duality (optimization) 、 Algebra 、 Computer science 、 Structure (category theory)
摘要: This paper presents two sets of observations relating static and dynamic analysis. The first concerns synergies between Wherever one is utilized, the other may also be applied, often in a complementary way, existing analyses should inspire different approaches to same problem. Furthermore, have very similar structure technical approaches. second observation that some are each considers, generalizes from, subset all possible execu-
参考文章(12)
Frank Tip, A survey of program slicing techniques. Journal of Programming Languages. ,vol. 3, ,(1995)
David Notkin, Michael Dean Ernst, Dynamically discovering likely program invariants University of Washington. ,(2000)
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata, Extended static checking for Java Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02. ,vol. 37, pp. 234- 245 ,(2002) , 10.1145/512529.512558
David Evans, Static detection of dynamic memory errors Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation - PLDI '96. ,vol. 31, pp. 44- 53 ,(1996) , 10.1145/231379.231389
Neil D. Jones, Steven S. Muchnick, Flow analysis and optimization of LISP-like structures symposium on principles of programming languages. pp. 244- 256 ,(1979) , 10.1145/567752.567776
Jonathan E. Cook, Alexander L. Wolf, Event-based detection of concurrency foundations of software engineering. ,vol. 23, pp. 35- 45 ,(1998) , 10.1145/288195.288214
Jeremy W. Nimmer, Michael D. Ernst, Automatic generation of program specifications ACM SIGSOFT Software Engineering Notes. ,vol. 27, pp. 229- 239 ,(2002) , 10.1145/566171.566213
David Notkin, Gail C. Murphy, Erica S.-C. Lan, An empirical study of static call graph extractors international conference on software engineering. pp. 90- 99 ,(1996) , 10.5555/227726.227744
Patrick Cousot, Radhia Cousot, Automatic synthesis of optimal invariant assertions: Mathematical foundations Sigplan Notices. ,vol. 12, pp. 1- 12 ,(1977) , 10.1145/800228.806926
G. Rothermel, M.J. Harrold, Empirical studies of a safe regression test selection technique IEEE Transactions on Software Engineering. ,vol. 24, pp. 401- 419 ,(1998) , 10.1109/32.689399