Splint annotations for rsync from CVS

Martin Pool mbp at samba.org
Thu Apr 4 12:11:02 EST 2002


On  3 Apr 2002, Jeff Johnson <jbj at redhat.com> wrote:
> Hi --
> 
> I've added splint annotations to rsync code from CVS. The resulting
> work-in-progress is at
> 	ftp://people.redhat.com/jbj/rsync-splint.tar.gz
> 
> Splint is a lightweight assertion checker, details at
> 	http://www.splint.org
> 
> Any interest in including splint annotations in rsync source code?
> If so, inquire privately and I'll try to assist.

Yes, that was on my list of things to do once 2.5 was out.

Have you actually found any bugs using Splint?  I reckon it will
probably find some, but there's no point putting the work in unless it
finds problems.

A patch rather than a tarball would be slightly easier.

Thanks,

-- 
Martin 




More information about the rsync mailing list