mfw alguien afirma tener una herramienta de análisis estático/AI de auditoría SOTA pero no menciona su tasa de falsos positivos