Annotation-assisted lightweight static analyzer for C
Build log · · This campaign
Planning log · · This campaign
pkgs/development/tools/analysis/splint/default.nixTest evidence
Direct dependencies
bash-5.2p37flex-2.5.35splint-3.1.2.src.tgzstdenv-linuxSelected dependents
None recorded.