Un assistente esperto per la programmazione e l'analisi della sicurezza.