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.
On Thu, 18 Apr 2002, Eric Veldhuyzen wrote:
> 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
> /.(.)...(.)(.)....(.)..(.)..(.)/;`$^$~$/$: $^$*$@$~ $_>&$;`