[CHECKER] Web interface to database

2001-05-24 Thread Andy Chou
. Enjoy, -Andy Chou - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

[CHECKER] Web interface to database

2001-05-24 Thread Andy Chou
. Enjoy, -Andy Chou - To unsubscribe from this list: send the line unsubscribe linux-kernel in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

Re: [CHECKER] 15 potential pointer dereference errors in 2.4.3

2001-04-05 Thread Andy Chou
Here's one more potential bug for 2.4.3. -Andy [BUG] /u2/acc/oses/linux/2.4.3/drivers/isdn/hysdn/hysdn_net.c:309:hysdn_net_create: ERROR:NULL:302:309: Using NULL ptr "dev" illegally! set by 'kmalloc_Rsmp_93d4cfe6':302 Start ---> if ((dev = kmalloc(sizeof(struct net_local),

Re: [CHECKER] 15 potential pointer dereference errors in 2.4.3

2001-04-05 Thread Andy Chou
I forgot to mention that these 15 potential errors are only the *new* ones. Many of the previously reported dereference errors from 2.4.1 are still there. -Andy - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo

[CHECKER] 15 potential pointer dereference errors in 2.4.3

2001-04-05 Thread Andy Chou
. Also, I've run the checker over 2.2.19, and there were a bunch of issues but they would require some time and effort to inspect. Some of them are the same as issues reported for 2.4.x. Would it be useful to report these? -Andy Chou Files: drivers/char/ip2main.c drivers/ide/ide-probe.c drivers

[CHECKER] 15 potential pointer dereference errors in 2.4.3

2001-04-05 Thread Andy Chou
. Also, I've run the checker over 2.2.19, and there were a bunch of issues but they would require some time and effort to inspect. Some of them are the same as issues reported for 2.4.x. Would it be useful to report these? -Andy Chou Files: drivers/char/ip2main.c drivers/ide/ide-probe.c drivers

Re: [CHECKER] 15 potential pointer dereference errors in 2.4.3

2001-04-05 Thread Andy Chou
I forgot to mention that these 15 potential errors are only the *new* ones. Many of the previously reported dereference errors from 2.4.1 are still there. -Andy - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo

Re: [CHECKER] 15 potential pointer dereference errors in 2.4.3

2001-04-05 Thread Andy Chou
Here's one more potential bug for 2.4.3. -Andy [BUG] /u2/acc/oses/linux/2.4.3/drivers/isdn/hysdn/hysdn_net.c:309:hysdn_net_create: ERROR:NULL:302:309: Using NULL ptr "dev" illegally! set by 'kmalloc_Rsmp_93d4cfe6':302 Start --- if ((dev = kmalloc(sizeof(struct net_local), GFP_KERNEL))

[CHECKER] 8 more potential locking problems

2001-03-22 Thread Andy Chou
We modified our compiler extension for checking lock consistency and found 8 more potential errors. -Andy Chou Index: drivers/char/pcwd.c:468:pcwd_close drivers/sound/es1370.c:1775:es1370_release drivers/sound/es1370.c:2442:es1370_midi_release drivers/sound/es1371.c:2611:es1371_midi_release

[CHECKER] 8 more potential locking problems

2001-03-22 Thread Andy Chou
We modified our compiler extension for checking lock consistency and found 8 more potential errors. -Andy Chou Index: drivers/char/pcwd.c:468:pcwd_close drivers/sound/es1370.c:1775:es1370_release drivers/sound/es1370.c:2442:es1370_midi_release drivers/sound/es1371.c:2611:es1371_midi_release

Re: [CHECKER] 120 potential dereference to invalid pointers errors for linux 2.4.1

2001-03-17 Thread Andy Chou
> > [BUG] fore200e_kmalloc can return NULL > > /u2/acc/oses/linux/2.4.1/drivers/atm/fore200e.c:2032:fore200e_get_esi: >ERROR:NULL:2020:2032: Using unknown ptr "prom" illegally! set by >'fore200e_kmalloc':2020 > > I don't see the bug - there is an explicit "if(!prom) return -ENOMEM;" after >

Re: [CHECKER] 120 potential dereference to invalid pointers errors for linux 2.4.1

2001-03-17 Thread Andy Chou
[BUG] fore200e_kmalloc can return NULL /u2/acc/oses/linux/2.4.1/drivers/atm/fore200e.c:2032:fore200e_get_esi: ERROR:NULL:2020:2032: Using unknown ptr "prom" illegally! set by 'fore200e_kmalloc':2020 I don't see the bug - there is an explicit "if(!prom) return -ENOMEM;" after the

[CHECKER] 16 potential locking bugs in 2.4.1

2001-03-16 Thread Andy Chou
Here are some more results from the MC project. These are 16 errors found in 2.4.1 related to inconsistent use of locks. As usual, if you can verify any of these or show that they are false positives, please let us know by CC'ing [EMAIL PROTECTED] -Andy Chou PS. I noticed that many

[CHECKER] 16 potential locking bugs in 2.4.1

2001-03-16 Thread Andy Chou
Here are some more results from the MC project. These are 16 errors found in 2.4.1 related to inconsistent use of locks. As usual, if you can verify any of these or show that they are false positives, please let us know by CC'ing [EMAIL PROTECTED] -Andy Chou PS. I noticed that many