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

Brad S via cfe-dev cfe-dev at lists.llvm.org
Thu Apr 12 17:37:07 PDT 2018


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.

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

More information about the cfe-dev mailing list