splint
splintはC++未対応だった。
$ splint -help vars Splint 3.1.2 --- 03 May 2009 LARCH_PATH = <not set> (default = .:/usr/share/splint/lib:/build/buildd/splint-3.1.2.dfsg1/lib:) --- path used to find larch initialization files and LSL traits LCLIMPORTDIR = <not set, default: .:/usr/share/splint/imports:/build/buildd/splint-3.1.2.dfsg1/imports> --- directory containing lcl standard library files (import with < ... >) include path = <no include path> (set by environment variable CPATH and -I flags) --- path used to find #include'd files systemdirs = /usr/ (set by -systemdirs or environment variable CPATH) --- if file is found on this path, it is treated as a system file for error reporting