Reply to post: Re: There are a lot of such projects

DARPA joins math-secured microkernel race

Anonymous Coward
Anonymous Coward

Re: There are a lot of such projects

The problem with that is the same with a lot of 'new language' ideas, it assumes the orginal coder has correct logic in the first place.

Now I'm not knocking the use of languages that enforce proper memory management/bounds checking, etc, but out side of a few special cases like a microkernel I don't see "maths assisted" coding helping much.

Most security flaws come from bad/carless ideas and inadequate testing due to budget/marketing pressure. The language is just a choice of which type of gun to shoot one's foot with...

POST COMMENT House rules

Not a member of The Register? Create a new account here.

  • Enter your comment

  • Add an icon

Anonymous cowards cannot choose their icon

Biting the hand that feeds IT © 1998–2022