V tomto článku popíši bezpečné programování podporované kvalitním programovacím jazykem. Tím jazykem je Ada, protože ta má tvorbu bezpečného kódu přímo v popisu práce. Ada je přesný opak jazyků s "volnější syntaxí", jako jsou PHP či Perl. Na rozdíl od nich zavádí silný typový systém a řadu kontrol, a to jak za běhu, tak především při překladu.