An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper)
暂无分享,去创建一个
Qian Wu | Na Meng | Hong Mei | Qianxiang Wang
[1] Karl N. Levitt,et al. SELECT—a formal system for testing and debugging programs by symbolic execution , 1975 .
[2] David Hovemeyer,et al. Finding bugs is easy , 2004, SIGP.
[3] David Detlefs,et al. Simplify: a theorem prover for program checking , 2005, JACM.
[4] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[5] Matthew B. Dwyer,et al. Bandera: extracting finite-state models from Java source code , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[6] David Hovemeyer,et al. Using Static Analysis to Find Bugs , 2008, IEEE Software.
[7] Jeffrey S. Foster,et al. A comparison of bug finding tools for Java , 2004, 15th International Symposium on Software Reliability Engineering.
[8] Jean Goubault-Larrecq,et al. Cryptographic Protocol Analysis on Real C Code , 2005, VMCAI.
[9] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[10] John R. Hott. A Comparison of Bug-Finding Tools , 2007 .
[11] William R. Bush,et al. A static analyzer for finding dynamic programming errors , 2000 .