| Secure Programming for Linux and Unix HOWTO | ||
|---|---|---|
| Prev | Chapter 7. Structure Program Internals and Approach | Next |
The program should check to ensure that its call arguments and basic state assumptions are valid. In C, macros such as assert(3) may be helpful in doing so.