Daikon es un programa de computadora que detecta probables invariantes de programas. [1] Una invariante es una condición que siempre se cumple en ciertos puntos del programa. Se utiliza principalmente [2] para depurar programas en desarrollo tardío o comprobar modificaciones en el código existente.
Daikon puede detectar propiedades en programas C , C ++ , Java , Perl e IOA , así como archivos de hojas de cálculo u otras fuentes de datos. Daikon es fácil de ampliar y es un software gratuito . [3]