CPBM(1)

📦 version 0.6, in debian bookworm, debian trixie, ubuntu jammy, ubuntu noble, ubuntu resolute, ubuntu stonking

✨ CPBM — bestie edition ✨

okay so real talk, this is the cpbm manual page, and yes it's from the General Commands Manual section (section 1, the "you can literally just run this in your shell" section 💅). buckle up, she's a whole toolkit.

🎀 NAME 🎀

cpbm — a software analysis toolkit (and yes, the OG name was CPROVER benchmarking framework, we love a glow-up ✨)

🌸 SYNOPSIS 🌸

cpbm sub-command [options] ...

like, that's it. pick a sub-command, throw some options at it, go off 👑

💖 DESCRIPTION 💖

bestie, this manual page is the brief lil rundown of the cpbm command. consider it the sparknotes, not the whole novel 📖

so what does cpbm actually do?? it gives you access to a collection of scripts and tools to benchmark software analysis tools. that's the vibe. it's giving "toolbox for testing your tools" and honestly? iconic.

🦋 SUB-COMMANDS 🦋

here's the lineup, and every single one of them has its own lil set of options that you can peek at with cpbm command --help (go on, ask her, she'll tell you 🫶):

  • help | --help — shows you the cpbm help text. the "hey bestie what do I do" button 💖
  • --version — spits out the current version. iykyk, always know what you're running ✨
  • home — prints the path where the cpbm scripts live. home sweet home 🏠
  • unpack — unpacks a CPROVER benchmark package. open the box, see what's inside 📦
  • update — updates a CPROVER benchmark package. glow-up time 🔄
  • init — creates a CPROVER benchmark package. birth of a package, main character energy 👑
  • run — runs a verification tool on a given benchmark and gets you the logs. the moment of truth 🔥
  • cillify — runs C sources through Cil. yes that's the name, yes it's a vibe 🧚
  • list-claims — lists all the claims in a benchmark. every single one, no gatekeeping 📋
  • csv — produces a CSV table from benchmark runs. spreadsheets but make it slay 📊
  • table — produces a LaTeX table from CSV. fancy-pants table for fancy-pants documents 🎀
  • graph — produces GNUplot scripts for box and scatter plots. data visualization era 🌈
  • web — generates an HTML table and collects log files for web publication. putting it on the internet, periodt 🌐

💜 SEE ALSO 💜

the programs are documented fully by:

/usr/share/doc/bmt/README.gz
go read that if you want the deep lore, this page is just the appetizer 🍓

🫶 AUTHOR 🫶

cpbm was written by Michael Tautschnig <michael.tautschnig@comlab.ox.ac.uk>. thank you king 👑

this manual page was written by Michael Tautschnig <mt@debian.org>, for the Debian project (and may be used by others). we stan a multi-hyphenate 💅

and that's the whole thing!! this was the cpbm page, dated March 13, 2011 (a true vintage classic, aged like fine wine 🍷), from the CPBM(1) manual. go benchmark something, bestie, you got this 💖✨🦋

📦 where this page comes from