A static analyzer for finding dynamic programming errors
暂无分享,去创建一个
[1] Karl N. Levitt,et al. SELECT - a formal system for testing and debugging programs by symbolic execution , 1975, Reliable Software.
[2] Murray Hill,et al. Lint, a C Program Checker , 1978 .
[3] Chris Hankin,et al. Abstract Interpretation of Declarative Languages , 1987 .
[4] P. J. Plauger. The Standard C Library , 1991 .
[5] Todd M. Austin,et al. Efficient detection of all pointer and array access errors , 1994, PLDI '94.
[6] Monica S. Lam,et al. Efficient context-sensitive pointer analysis for C programs , 1995, PLDI '95.
[7] Daniel Jackson. Aspect: detecting bugs with abstract dependences , 1995, TSEM.
[8] Flemming Nielson,et al. Abstract interpretation: a semantics-based tool for program analysis , 1995, LICS 1995.
[9] David E. Evans,et al. Static detection of dynamic memory errors , 1996, PLDI '96.
[10] Nils Klarlund,et al. Automatic verification of pointer programs using monadic second-order logic , 1997, PLDI '97.
[11] K. Rustan M. Leino,et al. Extended static checking , 1998, PROCOMET.
[12] Acm Sigsoft,et al. Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998 , 1998, PASTE.
[13] Michael Rodeh,et al. Detecting memory errors via static pointer analysis (preliminary experience) , 1998, PASTE '98.