🛡️ How to get to secure and reliable

The best way to get to secure and reliable software is to fix the core issues.

If your programming language is not reasonably secure and reliable, adding more external tools to check and track down problems is helpful, but is likely not the most direct approach.

Likewise with architecture -- getting the core architecture right is important. Adding external "watchers" and "fixers" to compensate for an architectural problem only complicates things, and complexity is the #1 enemy to both security and reliability.