carta

sparse(1) on Linux

The text 5df15b0df99e, as Debian 11 (Bullseye) shipped it.

Semantic Parser for C

Flags it lists

sparse(1) on Linux now