frama-c-hdchk index