[cfe-dev] Path sensitive algorithm
ganna at apple.com
Tue Apr 2 10:36:04 PDT 2013
Are you asking about the clang static analyzer?
We've recently gave a talk on the static analyzer. See "Building a checker in 24 hours" at http://llvm.org/devmtg/2012-11/ 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.
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: http://clang-developers.42468.n3.nabble.com/Patch-Update-to-Checker-Development-Manual-td4031120.html)
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 http://lists.cs.uiuc.edu/pipermail/cfe-dev/2009-January/003996.html
On Apr 2, 2013, at 4:22 AM, YuvalShahar <yuval.shahar.007 at gmail.com> wrote:
> Is there any documentation of the path sensitive algorithm?
> View this message in context: http://clang-developers.42468.n3.nabble.com/Path-sensitive-algorithm-tp4031254.html
> Sent from the Clang Developers mailing list archive at Nabble.com.
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev