Chapter 12
Bug reports
If you find a bug in CCured, please send email to
George Necula
.