Static analysis is not just for finding bugs

CrossTalk

Volumn 23, Issue 9-10, 2010, Pages 5-8

  Moy, Yannick ^a  

^a AdaCore   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL SOFTWARE; TWO-PHASE PROCESS;

STATIC ANALYSIS;

EID: 77956754448     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (12)

1. Bessey, Al, et al. "A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World." Communications of the ACM 53.2. Feb. 2010.
2. Ganssle, Jack G. "A Guide to Code Inspections." Vers. 2.1. Feb. 2010.
3. Moy, Yannick, Nikolaj Bjorner, and Dave Sielaff. "Modular Bug-finding for Integer Overflows in the Large: Sound, Efficient, Bit-precise Static Analysis." Microsoft Research. 11 May 2009.
4. Chess, Brian, and Jacob West. Secure Programming with Static Analysis. Chapter 3, "Static Analysis as Part of the Code Review Process." Upper Saddle River, NJ: Addison-Wesley, 2007.
5. Taft, S. Tucker, and Robert B.K. Dewar. "Making static analysis a part of code review." Embedded Computing Design. 16 June 2009.
6. Moy, Yannick, and Angela Wallenburg. Tokeneer: Beyond Formal Program Verification. Proc. of the Embedded Real Time Software and Systems Conference. Toulouse, France. 21 June 2010.
7. Ernst, Michael D. Static and Dynamic Analysis: Synergy and Duality. Proc. of the Workshop on Dynamic Analysis. Portland, OR. 9 May 2003.
8. Parnas, David Lorge. "Really Rethinking Formal Methods." IEEE Computer 43.1 (Jan. 2010).
9. Souyris, Jean, et al. Formal Verification of Avionics Software Products. Proc. of the 16th Annual Symposium on Formal Methods. Eindhoven, The Netherlands. 2-6 Nov. 2009.
10. Beck, Kent, et al. "Manifesto for Agile Software Development." Feb. 2001.
11. Fisher, Gwyn. "When, Why and How to Leverage Source Code Analysis." White Paper. 2007.
12. Haddon-Cave, Charles. The Nimrod Review: An Independent Review into the Broader Issues Surrounding the Loss of the RAF Nimrod MR2 Aircraft XV230 in Afghanistan in 2006: Report. London: TSO. 28 Oct. 2009.