Splint: Annotation-assisted lightweight static checking for C. (2004)splint.org1 point·fanf2··0 commentsOpen articleSaveView on HN