[cfe-dev] Clang over llvm representation

[David Blaikie]

On Sun, Mar 1, 2015 at 5:53 AM, Horvat Horvat <horvatjkah at gmail.com> wrote:

> Hello everyone!
>
> I am working on static analyzis of compiled binary and i have an idea of
> translating them to llvm and then analyze by clang-static-analyzer. And i
> am not good in clang internals.
>
> So, is there any way to analyze with clang-static-analyzer llvm code (both
> bitcode and source)? Or if it impossible by default can someone tell me the
> most easy way to add this support to clang-static-analyzer (f.e. by
> directly integrate AST from binary-translator-to-llvm in clang)?
>

The clang static analyzer is based on Clang AST's, not LLVM IR.

There has been some talk of doing analysis with LLVM IR, but it's not
anything worked out yet.

If you want to stay in ASTs, it might be possible to build a cross-TU
analysis by loading modules.

- David


>
> Thank you!
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20150302/5bf576c0/attachment.html>