[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