[BUGS] [CHECKER] 9 potential out-of-bounds array access errors

2003-01-28 Thread Yichen Xie
Hi all, We are a group of Stanford researchers, and we've recently developed a tool that detects potential out-of-bounds array accesses and buffer overruns. Here are 9 potential bugs we've found on postgresql 7.3.1. We've been checking linux for a few years, and we're interested in expanding to ot

Re: [BUGS] [CHECKER] 9 potential out-of-bounds array access errors

2003-01-28 Thread Yichen Xie
Both are flagged though--the other one's 85 lines down in the bug report.. ;) I probably should've sorted the list by location to minimize confusion. Thanks for the feedback! -Yichen On Tue, 28 Jan 2003, Tom Lane wrote: > This looks like great stuff --- I haven't read through all of them, but

Re: [BUGS] [CHECKER] 9 potential out-of-bounds array access errors

2003-01-28 Thread Yichen Xie
I think it's 'coz the only assignment to "plpgsql_nDatums" the checker could find is on line 176, without realizing plpgsql_nDatums is actually a global variable and could be changed anywhere... We'll rule out cases like this in the future. Thanks for letting us know. --yichen On Tue, 28 Jan 2003,