AI models allow individual developers to audit the security of software, a task that previously required hiring a specialized auditor