Quels diagnostics sont effectués ?

Pour chaque exécutable apportant de l'information d'état, une série différente de diagnostics sont effectués. Par exemple, la série effectuée pour l'exécutable abs est décrite ici :