util software verification (on GDB)