[cfe-dev] abstract interpretation work across different source files

larry.1.yang at nokia.com larry.1.yang at nokia.com
Tue Mar 18 21:54:40 PDT 2014


Hello there,

I am looking at clang static analyzer recently, and thinking whether I could make it's abstract interpretation work across different source files, so that the constraints from source file a.c could be applied to other source files like b.c and c.c.

Any directions/hints on this will be much appreciated.

Br,
Larry

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140319/85af948e/attachment.html>


More information about the cfe-dev mailing list