Secure Programming for Linux and Unix HOWTO Prev Chapter 6. Structure Program Internals and Approach Next 6.9. Use Internal Consistency-Checking Code 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. Prev Home Next Trust Only Trustworthy Channels Up Self-limit Resources