[cfe-users] How to check custom "malloc"?

Jean-Daniel Dupas devlists at shadowlab.org
Sun Jul 14 08:08:53 PDT 2013


You can use the "ownership" attributes to annotate your functions. I can't find documentation for theses attributes, but there is a discussion about it at: 


And you can also have a look at the file testing theses attributes at http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/malloc-annotations.c?view=markup

As stats in the StackOverflow discussion, you may have to enable this check explicitly by passing "-Xclang -analyzer-checker=alpha.unix.MallocWithAnnotations" to clang when invoking the static analyzer.

Le 14 juil. 2013 à 16:35, Grissiom <chaos.proton at gmail.com> a écrit :

> Hi all,
> I'm doing embedded programming and want to use clang to do some static analyze with the code. One problem I'm facing is we use custom memory allocater in the project, namely "rt_malloc" etc. Is there any way to make clang check such calls just like normal malloc without writing my own plugin?
> I've checked cfe/trunk/lib/StaticAnalyzer/Checkers/MallocChecker.cpp and I know I could substitute  "malloc" with "rt_malloc" and compile that file as so libs. But I think it's an overkill. Is there anyway to tell clang that "rt_malloc" is just an alias of "malloc"?
> -- 
> Cheers,
> Grissiom
> _______________________________________________
> cfe-users mailing list
> cfe-users at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-users

-- Jean-Daniel

More information about the cfe-users mailing list