Re: Pascal is the future!
Oddly, the most "amusing" errors of the "buffer overflow" sort I encountered were in systems coded in PASCAL. Of course, the "overflows" were in parts of the system that were not main memory, but the disk. Yes, the OS code was written in PASCAL, and apparently the authors had so ingrained in them that "the language will keep me from doing anything stupid" that their filesystem code did not bother to check their own metadata, and so blithely wrote outside the "limits" of the filesystem that they were building. There is no Silver Bullet.
I suspect this is related to the observation by insurance companies that drivers of cars with anti-skid braking systems tended to drive more aggressively, with sometimes fatal result.