Michael Howard's blog post about SAL(Standard Annotation Language) and how you can improve security by annotating your function declarations. There's some seriously cool stuff here that could really save you some major headaches.