[cfe-commits] unix.Malloc static checker improvement: memory.LeakPtrValChanged

Anna Zaks ganna at apple.com
Mon Feb 11 10:14:45 PST 2013

On Feb 9, 2013, at 4:31 AM, Dmitri Gribenko <gribozavr at gmail.com> wrote:

> On Sat, Feb 9, 2013 at 6:04 AM, Branden Archer <b.m.archer4 at gmail.com> wrote:
>> The attached patch removes memory.LeakPtrValChanged from the potential
>> checker list.
> I don't know if this is something Clang SA wants to do, but from a
> user's viewpoint, it might be good to have a list of all checkers with
> code examples.

Absolutely! Anton, who created the Potential Checkers list is working on it.

Since memory.LeakPtrValChanged check has been completed, we could move it to the Existing checkers list.

> Like "Error description" section in
> http://www.viva64.com/en/d/
> Dmitri
> -- 
> main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
> (j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/

More information about the cfe-commits mailing list