在 bullseye 发行版中 i386 硬件架构下的 cbmc 软件包文件清单
/usr/bin/cbmc
/usr/bin/goto-analyzer
/usr/bin/goto-cc
/usr/bin/goto-diff
/usr/bin/goto-gcc
/usr/bin/goto-harness
/usr/bin/goto-instrument
/usr/bin/goto-ld
/usr/bin/janalyzer
/usr/bin/jbmc
/usr/bin/jdiff
/usr/share/doc/cbmc/changelog.Debian.gz
/usr/share/doc/cbmc/changelog.gz
/usr/share/doc/cbmc/copyright
/usr/share/man/man1/cbmc.1.gz
/usr/share/man/man1/goto-analyzer.1.gz
/usr/share/man/man1/goto-cc.1.gz
/usr/share/man/man1/goto-diff.1.gz
/usr/share/man/man1/goto-gcc.1.gz
/usr/share/man/man1/goto-harness.1.gz
/usr/share/man/man1/goto-instrument.1.gz
/usr/share/man/man1/goto-ld.1.gz
/usr/share/man/man1/janalyzer.1.gz
/usr/share/man/man1/jbmc.1.gz
/usr/share/man/man1/jdiff.1.gz