@872ab8e1 Contrary to @210de87f 's law, the answer to the headline "Is no software safe?" is yes, no software is safe. Stored program computers have existed for more than 75 years, and the internet has existed for more than 43 years, yet for the most part we still do not know how to write reliable and secure software. There has been a large amount of research, and it is ongoing. Ther have been some positive results, but they have seen little adoption outside academia.