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

[Ted Kremenek]

Hi Larry,

I think it comes down to the properties you want to analyze.  We have an interest (as Jordan said) in making the analyzer effectively do global analysis for the different kinds of checkers it supports, but if you are interested in analyzing a specific property that doesn’t require a grand general solution then the solution that John Hammond mentioned certainly could work in many cases.

Cheers,
Ted

On Mar 18, 2014, at 9:54 PM, larry.1.yang at nokia.com wrote:

> 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
>  
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

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