Splint: Annotation-assisted lightweight static checking for C. (2004) | Dark Hacker News