For Turing-complete languages we cannot reliably decide offline whether a program has the potential to execute an error; we have to just run it and see
Open source projects to help build and operate more secure systems, along with tools for security monitoring and incident response.