Re: RFC: Adding annotations to function declarations to improve static analysis

2008-09-28 Thread Rob Shearman
2008/9/28 Reece Dunn <[EMAIL PROTECTED]>: > 2008/9/28 Rob Shearman <[EMAIL PROTECTED]>: >> Hi all, >> >> This will be talked about in more detail at WineConf tomorrow, but I >> just thought I'd throw this out there as a bit of background to any >> discussions. >> >> Adding annotations to function d

Re: RFC: Adding annotations to function declarations to improve static analysis

2008-09-27 Thread Marcus Meissner
On Sun, Sep 28, 2008 at 12:08:22AM +0100, Rob Shearman wrote: > Hi all, > > This will be talked about in more detail at WineConf tomorrow, but I > just thought I'd throw this out there as a bit of background to any > discussions. > > Adding annotations to function declarations allows Prefast to p

Re: RFC: Adding annotations to function declarations to improve static analysis

2008-09-27 Thread Reece Dunn
2008/9/28 Rob Shearman <[EMAIL PROTECTED]>: > Hi all, > > This will be talked about in more detail at WineConf tomorrow, but I > just thought I'd throw this out there as a bit of background to any > discussions. > > Adding annotations to function declarations allows Prefast to pick up > certain cla

RFC: Adding annotations to function declarations to improve static analysis

2008-09-27 Thread Rob Shearman
Hi all, This will be talked about in more detail at WineConf tomorrow, but I just thought I'd throw this out there as a bit of background to any discussions. Adding annotations to function declarations allows Prefast to pick up certain classes of bugs with varying degrees of false positives. In p