SecureProgramming.com

OpenBSD gcc extensions	Category: Input Validation
	Language: C, C++, and Objective-C

Posted by John Viega on Sun, Aug 31, 2003 (03:50 PM) GMT

External URL: http://www.openbsd.org/cgi-bin/man.cgi?query=gcc-local&apropos=0&sektion=0&manpath=OpenBSD+Current&arch=i386&format=html

OpenBSD's gcc recognizes a new flag, -Wbounded, to perform basic checks on functions which accept buffers and sizes. An extra attribute, __bounded__, has been added to mark functions that can be checked this way.

Read down on the page for a description of how __bounded__ works.

All trademarks and copyrights on this page are owned by their respective owners. Copyrights on submitted material are copyrighted by the submitter. Everything else is Copyright © 2003 by John Viega and Matt Messier. Click here for licensing information regarding the use of recipes on this site and from The Secure Programming Cookbook for C and C++.