use after free bugs

[Robert Watson]

On Fri, 20 Feb 2004, John Baldwin wrote:

> On Thursday 19 February 2004 08:43 pm, Ted Unangst wrote:
> > Hi.  These are some bugs found by Coverity in a static analysis run on the
> > FreeBSD kernel.  All these are use after free bugs.
> 
> Thanks for the excellent bug reports! 

I wonder if the same approach relating to memory allocation and free
checking via static analysis could be applied to locking and unlocking of
locks?  I.e.:

- We don't release locks more than once.

- We don't forget to unlock.

- We hold a lock before accessing certain fields (defined by annotation)
  of a structure.

Robert N M Watson             FreeBSD Core Team, TrustedBSD Projects
robert at fledge.watson.org      Senior Research Scientist, McAfee Research