Hi,<br><br> Am writing to you to check the applicability of Clang as a frontend to our static analysis engine.<br><br> 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.<br>
<br> 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<br>
<br> 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.<br>
<br> We could contribute back testcases, and perhaps other hacks as we create them<br><br> Our software runs on Linux<br><br> 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.<br>
<br> Thanks,<br> Yadavendra Yadav