Binary: goto-instrument

Debian packages that has this binary:

Package: cbmc

/usr/bin/goto-instrument

Random binary cloud:

glite-lb-at3 gss-server arch csvtool crm_failcount scanelf fbo-fragcoord h8300-hms-ld cacaclock cba gmod_apollo_triggers.pl das_watchdog eom freefoam-Xi xhotswap hm-braindump wps2text olsr_switch ipbori2 test_amqp.py vcloud.rb crxvt-big5 razers2 sndfile-jackplay gap5 getABIcomment atk6-dnsdict6 DigestorMotif vigor tv_check