[cfe-dev] query: using clang for static anlalysis

[Yadavendra Yadav]

Hi,

 Am writing to you to check the applicability of Clang as a frontend to our
static analysis engine.

 Our engine simulates runtime behavior of C/C++ programs statically; it
typically requires the exact intended semantics to be captured as part of
the AST. However, sometimes, we may live with incomplete simulation of
semantics in corner cases.

 The input to our engine is millions of lines of mature, production quality
code, sometimes highly legacy too; we cannot modify them for the analysis;
these sources would span multiple dialects & are compilable by one of the
several compilers (and versions thereof) that exist today

 We do not have the luxury of terminating the analysis due to parser
failure; we do have the ability to live with incomplete information in
corner cases though. All the above essentially means that we need a
permissive parser that works out of the box for all the common dialects
(like g++, msvc++, etc.) and almost works fine for the non-so-popular
dialects.

 We could contribute back testcases, and perhaps other hacks as we create
them

 Our software runs on Linux

 Please let us know if Clang would be applicable to us. Also, if you have
any useful pointers in this regard, kindly share the same.

 Thanks,
 Yadavendra Yadav
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20100510/f51cfc85/attachment.html>