Reply to post: Re: Same old

It's 2019 – and you can completely pwn millions of Qualcomm-powered Androids over the air

NetBlackOps

Re: Same old

I've only been doing formal verification since 1985 and, yes, it's difficult. On the other hand, when it comes time to commit the code, it pays off in spades as well as in testing. The latter is still done to guard against compiler,, OS and hardware defects.

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–2019