Introduction to Safe Programming
Safe Code as an issue of Assurance
Topics in Safe Programming
How does one write safe code?
System Libraries
General C Syntax Errors
General Logic Errors
Poor Design
Spafford’s Recommendation
Email: jeehye@umiacs.umd.edu
Home Page: www.research.umbc.edu/~jeehye/cmsc491b