lkml.org 
[lkml]   [2013]   [Feb]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectNew Defect(s) reported by Coverity Scan
Date
Hi,

Please find the latest report on new defect(s) that have been introduced to the Linux Kernel found with Coverity SCAN.


Defect(s) Reported-by: Coverity Scan:
___________________________________________________________________________
** CID 971353: Resource leak (RESOURCE_LEAK)
/arch/x86/boot/tools/build.c: 259
http://scan5.coverity.com:8080/sourcebrowser.htm?projectId=10063#mergedDefectId=971353


###########################################################################
Defect Details:
___________________________________________________________________________
CID 971353: Resource leak (RESOURCE_LEAK)
http://scan5.coverity.com:8080/sourcebrowser.htm?projectId=10063#mergedDefectId=971353

/arch/x86/boot/tools/build.c: 240 ( alloc_fn)

234 static void parse_zoffset(char *fname)
235 {
236 FILE *file;
237 char *p;
238 int c;
239
>>> Storage is returned from allocation function "fopen(char const * restrict, char const * restrict)".
>>> Assigning: "file" = storage returned from "fopen(fname, "r")".
240 file = fopen(fname, "r");
241 if (!file)
242 die("Unable to open `%s': %m", fname);
>>> Resource "file" is not freed or pointed-to in function "fread(void * restrict, size_t, size_t, FILE * restrict)".
243 c = fread(buf, 1, sizeof(buf) - 1, file);
>>> Resource "file" is not freed or pointed-to in function "ferror(FILE *)".
244 if (ferror(file))
245 die("read-error on `zoffset.h'");
246 buf[c] = 0;
247


/arch/x86/boot/tools/build.c: 259 ( leaked_storage)
256 while (p && (*p == '\r' || *p == '\n'))
257 p++;
258 }
>>> CID 971353: Resource leak (RESOURCE_LEAK) Variable "file" going out
>>> of scope leaks the storage it points to.
259 }
260

________________________________________________________________________


To view the defects in Coverity Scan visit, http://scan5.coverity.com:8080.
Your username should be the first part of your email address. If you don't have a username, you can request one by emailing: scan-admin at coverity.com

Thank you,
Dakshesh Vyas
Coverity SCAN-ADMIN
scan-admin at coverity.com
http://scan.coverity.com



\
 
 \ /
  Last update: 2013-02-13 20:22    [W:0.040 / U:0.348 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site