Source Code Analysis Laboratory (SCALe) for Energy ... - CERT

More documents

Recommendations

Info

CMU/SEI-2010-TR-021 | vi
Acknowledgments We would like to acknowledge the contributions of the following individuals to the research presented in this paper: Doug Gwyn, Paul Anderson, William Scherlis, Jonathan Aldrich, Yekaterina Tsipenyuk O’Neil, Roger Scott, David Keaton, Thomas Plum, Dean Sutherland, Timothy Morrow, Austin Montgomery, and Martin Sebor. We would also like to acknowledge the contribution of the SEI support staff and management, including Paul Ruggiero, Shelia Rosenthal, Terry Ireland, Sandra Brown, Michael Wright, Archie Andrews, Bill Wilson, Rich Pethia, and Clyde Chittister. This research was supported by the U.S. Department of <strong>Energy</strong> (DOE) and the U.S. Department of Defense (DoD). CMU/SEI-2010-TR-021 | vii
Page 1 and 2: Source Code Analysis Laboratory (SC
Page 3 and 4: Table of Contents Acknowledgments v
Page 5 and 6: List of Figures Figure 1: SCALe Pro
Page 7: List of Tables Table 1: True Positi
Page 11 and 12: Abstract The Source Code Analysis L
Page 13 and 14: 1 Introduction A key mission of the
Page 15 and 16: 1. Client contacts CERT. The prooce
Page 17 and 18: • The CERT C++ Secure Coding Stan
Page 19 and 20: • A floating-point value with all
Page 21 and 22: 2 Conformance Testing This section
Page 23 and 24: Figure 4: SCALe Conformance Tesstin
Page 25 and 26: • De-duplication of crashing test
Page 27 and 28: Handbook of Applied Acceptance Samp
Page 29 and 30: 2.6 Tracking Diagnostics Across Cod
Page 31 and 32: _Pragma(push: tool_a_maybe_foo, dis
Page 33 and 34: processes. A system of review will
Page 35 and 36: diagnostic codes mapped to a repres
Page 37 and 38: ID Rule Group AA AC 1 AC 2 AC 3 AC
Page 39 and 40: lack of confidence with C++. Howeve
Page 41 and 42: 3.1.1 Impartiality CERT resides wit
Page 43 and 44: 4. CERT will evaluate any deviation
Page 45 and 46: Table 6: Flagged Nonconformities, E
Page 47 and 48: Table 8: Flagged Nonconformities, E
Page 49 and 50: 4 Related Efforts This section desc
Page 51 and 52: 5 Future Work and Summary 5.1 Futur
Page 53 and 54: Bibliography URLs are valid as of t
Page 55 and 56: [MISRA 2004] Motor Industry Softwar
Page 57: REPORT DOCUMENTATION PAGE Form Appr

Source Code Analysis Laboratory (SCALe) for Energy ... - CERT

Create successful ePaper yourself

Delete template?

Save as template?