ssl vulnerability

http://heartbleed.com

Reminder to update your machines and invalidate your possibly compromised certs.

cross posted from /g/

>>16
Of course it can be detected. The question is if it can be detected in C. Can you eliminate runtime array bounds checking with static analysis of C, by the way? Because with ATS you can.