<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Are you asking about the clang static analyzer?<div><br></div><div>We've recently gave a talk on the static analyzer. See "Building a checker in 24 hours" at <a href="http://llvm.org/devmtg/2012-11/">http://llvm.org/devmtg/2012-11/</a> The talk is targeted at someone writing a new check extension to the analyzer so it only has a very high level description of the internals.</div><div><br></div><div>There is some additional documentation on the analyzer's website and in the clang/docs/analyzer directory (+ a patch for extensions to the Checker Developer Manual is currently in review: <a href="http://clang-developers.42468.n3.nabble.com/Patch-Update-to-Checker-Development-Manual-td4031120.html">http://clang-developers.42468.n3.nabble.com/Patch-Update-to-Checker-Development-Manual-td4031120.html</a>) </div><div><br></div><div>However, there is currently no document fully describing the internals of the analyzer. The analyzer is inspired by many papers on path-sensitive dataflow analysis, see <a href="http://lists.cs.uiuc.edu/pipermail/cfe-dev/2009-January/003996.html">http://lists.cs.uiuc.edu/pipermail/cfe-dev/2009-January/003996.html</a></div><div><br></div><div>Cheers,</div><div>Anna.<br><div><div>On Apr 2, 2013, at 4:22 AM, YuvalShahar <<a href="mailto:yuval.shahar.007@gmail.com">yuval.shahar.007@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Is there any documentation of the path sensitive algorithm?<br><br><br><br>--<br>View this message in context:<span class="Apple-converted-space"> </span><a href="http://clang-developers.42468.n3.nabble.com/Path-sensitive-algorithm-tp4031254.html">http://clang-developers.42468.n3.nabble.com/Path-sensitive-algorithm-tp4031254.html</a><br>Sent from the Clang Developers mailing list archive at<span class="Apple-converted-space"> </span><a href="http://nabble.com/">Nabble.com</a>.<br>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></div></blockquote></div><br></div></body></html>