Binary: splint

Debian packages that has this binary:

Package: splint

/usr/bin/splint

Random binary cloud:

map-services gdal_rasterize gmt2bin r.compress r.li.patchnum kcolorchooser kgrantpty make_driver_db_cups cheatmake i686-w64-mingw32-objdump graphc pcp-python rosws rpmdev-sha512 mod2zmod GenericFilteringCxxTests xapian-config aa ceph_test_cls_rgw_meta csdp-graphtoprob fsck.hfsplus last-merge-batches M2VRequantiser rmidish delta-filter php5-fpm pdf2txt ripperX_plugin_tester science-viewing twoftpd-drop