[cfe-dev] How to use inlining technology in Clang static analysis?

Jordan Rose jordan_rose at apple.com
Tue Feb 5 18:26:25 PST 2013

Hi, Yeping. The Clang analyzer isn't exactly designed to be used in pieces, modulo the CFG and support classes in libAnalysis. However, you can write your own "checker" that implements your check, and run it as part of the analyzer's usual execution.

We gave a talk at last year's LLVM Developer Meeting about how to write your own checker; hopefully you'll find it useful! See http://llvm.org/devmtg/2012-11/.


On Feb 2, 2013, at 4:10 , yangyeping <yangyeping_666 at hotmail.com> wrote:

> Hello, everyone. I am a new comer to this forum. And now i want to do simple
> inter-procedural check in Clang translation unit with function call inlining
> technology. Could anyone tell me how to use it? Any sample code or document?
> Any suggestion appreciated.
> Thanks.
> --
> View this message in context: http://clang-developers.42468.n3.nabble.com/How-to-use-inlining-technology-in-Clang-static-analysis-tp4030218.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

More information about the cfe-dev mailing list