Proceso de Auditoría
Un proceso de auditoría consiste de los siguientes pasos:
Realizar pruebas.
Leer especificaciones y documentación.
Utilizar herramientas para pruebas (como slither, linters, análisis estático, etc).
Análisis manual.
Correr herramientas de pruebas más exhaustivas (como echidna, manticore, ejecución simbólica, MythX, etc.)
Discutir (y repetir los pasos anterior según se requiera)
Escribir un reporte de hallazgos (Ejemplo)
Normalmente, el reporte se organiza clasificando los hallazgos según su probabilidad de ocurrencia y el tamaño del impacto que pueden tener, siendo los hallazgos críticos y de alta probabilidad/impacto los que deben corregirse con prioridad.
Last updated
