summaryrefslogblamecommitdiff
path: root/devel/splint/pkg-comment
blob: 63a0138a78c713a674fc84612df07d78a8da2c45 (plain) (tree)
1
                                         
A tool for statically checking C programs