This replaces the previously posted 1996 version. This is NASA-GB-8719.13 NASA Software Safety Guidebook date March 31, 2004.
This bulk of this document is about good practices in software development for each aspect of the lifecycle with emphasis on safety.In Chapter 8 it discusses many types of code analyses and their relative cost and value.
In Appendices C and D Software FTA and FMEA are discussed.
Appendix F discusses Preliminary Hazard Analysis.
Appendix H provides a number of checklists including safety related coding practices for various languages including C and C++.