Clang over llvm representation

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)?

Thank you!

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