Jakub Jelinek on address space randomization, PCH and exe-shield
http://gcc.gnu.org/ml/gcc/2004-03/msg00165.html
he is also working on safe builtins for gcc 4.1
Safte Builtins:
http://gcc.gnu.org/wiki/Safe%20Builtins
issue compile time warning whether various string operations may overflow passed the end of object.
ProPolic:
http://cs.senecac.on.ca/soss/2003/Seneca%20OSS.ppt#283,13,ProPolice (continued)