[cfe-dev] scan-build - need help

[Ted Kremenek]

The malloc() checker is still under development and is not on by default.  Try:

$ scan-build -enable-checker experimental.unix.Malloc <build line>

I ran it on your example and it reported:

t.c:10:17: warning: Allocated memory never released. Potential memory leak.
        return (0);
                ^
t.c:9:9: warning: Value stored to 'p' is never read
        p = malloc(100);
        ^   ~~~~~~~~~~~
2 warnings generated.

On Oct 14, 2011, at 7:10 AM, Suzzane G wrote:

> HI,
> 
> Here is my test program and I expected scan-build to detect resource leak.
> But it is not detecting resource leak. Will you please let me know why this defect is not detected?
> 
> #include <stdio.h>
> #include <stdlib.h>
> 
> int func (char *r)
> {
>         int x = 0;
>         char *p = NULL;
> 
>         p = malloc(100);
>         return (0);
> }
> 
> Command used is "scan-build -o . --use-cc=/usr/bin/gcc-4.5 gcc -c ~/test.c"
> 
> Rgds,
> Suz _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev