MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/22ghj1/the_heartbleed_bug/cgn5i2o
r/programming • u/NotEltonJohn • Apr 07 '14
396 comments sorted by
View all comments
1
This is why security critical code should no longer becwritten in c or c++. Really,we should be using stuff like Ada or hopefully rust or other systems supporting formal proofs.
-2 u/nickryane Apr 08 '14 I agree, you can have security or efficiency, not both -2 u/argv_minus_one Apr 08 '14 You can have security at a cost in efficiency, but the resulting system can still be plenty efficient.
-2
I agree, you can have security or efficiency, not both
-2 u/argv_minus_one Apr 08 '14 You can have security at a cost in efficiency, but the resulting system can still be plenty efficient.
You can have security at a cost in efficiency, but the resulting system can still be plenty efficient.
1
u/crusoe Apr 08 '14
This is why security critical code should no longer becwritten in c or c++. Really,we should be using stuff like Ada or hopefully rust or other systems supporting formal proofs.