[cfe-dev] [analyzer] Documentation for ExprEngine?

[Brad S via cfe-dev]

Hello,

I have been looking through the static analyzer source code in an effort to
better understand how it works and was wondering if there are any good
resources on understanding the ExprEngine.

Specifically I am having some trouble understanding how statements inside
of functions/loops/etc. are added to the worklist.

Thanks,
Brad
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180412/4fa8a8cc/attachment.html>