At 12:09 11/04/2012, you wrote:
Hi, all
I have applied a memory leak detection tool
Melton<http://lcs.ios.ac.cn/~xuzb/melton.html> to
find memory leaks in sqlite-3.7.11.
Two bugs were found, and I check them manually as the real ones.
Here is the url of the bugs:
http://lcs.ios.ac.cn/~xuzb/bugsfound/memleak/sqlite-3.7.11/realbugs/index.html

For the first one, check line 6307. It does a trick to call free only if the pointer is not null.

For the second perhaps the same trick as 6307 line should be added in 7572, changing:

- 7572 free(zBuf);
+ 7572 if (zBuf) free(zBuf);

Because the malloc in line 7555 is inside if from line 7546.

Or you can download it at:
http://lcs.ios.ac.cn/~xuzb/bugsfound/memleak/sqlite-3.7.11/realbugs_sqlite_3.7.11.tar.gz


Hope for your replies if these bugs are the real ones. Thank you!

--
Zhenbo Xu
_______________________________________________
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users


_______________________________________________
sqlite-users mailing list
sqlite-users@sqlite.org
http://sqlite.org:8080/cgi-bin/mailman/listinfo/sqlite-users

Reply via email to