If you're looking for examples of memory annotations, try the Splint Manual. The PLDI'96 paper has some examples that may be useful to you. (http://www.cs.virginia.edu/~evans/pldi96-abstract.html).
--- Dave On Thu, 18 Apr 2002, Eric Veldhuyzen wrote: > Hi, > > I have some problems explaining to splint how my tree function library > works, is there somewhere some example of how I should explain this to > splint with annotations? > > -- > #!perl # Life ain't fair, but root passwords help. > # Eric Veldhuyzen [EMAIL PROTECTED] > $!=$;=$_+(++$_);($:,$~,$/,$^,$*,$@)=$!=~ # Perl Monger > /.(.)...(.)(.)....(.)..(.)..(.)/;`$^$~$/$: $^$*$@$~ $_>&$;` > >