Re: Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c

2016-04-27 Thread Kees Cook
> On Mon, Apr 25, 2016 at 7:50 AM, Pengfei Wang >> > > wrote: >> > > > Hello, >> > > > >> > > > I found this Double-Fetch bug in >> > > > Linux-4.5/drivers/scsi/aacraid/commctrl.c >> > > > when I was examining

Re: Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c

2016-04-27 Thread Julia Lawall
; Hello, > > > > > > > > I found this Double-Fetch bug in > > > > Linux-4.5/drivers/scsi/aacraid/commctrl.c > > > > when I was examining the source code. > > > > > > Thanks for these reports! I wrote a coccinelle script to find these,

Re: Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c

2016-04-27 Thread Dan Carpenter
On Wed, Apr 27, 2016 at 07:42:04AM +0200, Julia Lawall wrote: > > > On Tue, 26 Apr 2016, Kees Cook wrote: > > > On Mon, Apr 25, 2016 at 7:50 AM, Pengfei Wang > > wrote: > > > Hello, > > > > > > I found this Double-Fetch bug in Linux-4

Re: Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c

2016-04-26 Thread Julia Lawall
On Tue, 26 Apr 2016, Kees Cook wrote: > On Mon, Apr 25, 2016 at 7:50 AM, Pengfei Wang wrote: > > Hello, > > > > I found this Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c > > when I was examining the source code. > > Thanks for these report

Re: Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c

2016-04-26 Thread Kees Cook
On Mon, Apr 25, 2016 at 7:50 AM, Pengfei Wang wrote: > Hello, > > I found this Double-Fetch bug in Linux-4.5/drivers/scsi/aacraid/commctrl.c > when I was examining the source code. Thanks for these reports! I wrote a coccinelle script to find these, but it requires some manual checki