Binary: goto-instrument

Debian packages that has this binary:

Package: cbmc

/usr/bin/goto-instrument

Random binary cloud:

nm bwbar cimextracthistory.pl fbterm i.vpoints ht2html wmf2eps seivots-summary lamed wvVersion 0store avr-ld.bfd gold dcm_make_object appletviewer hsbrainfuck pano_modify jsoncat marclint susetags2solv blastp xstat_cm_test pj_dump paprefs dane jsvnadmin swipl-rc tcnetstat komkindex usbipd