From: Anna Zaks Date: Sun, 14 Apr 2013 18:36:51 +0000 (+0000) Subject: [analyzer] Add a link to the Building a Checker in 24 Hours talk to the developer... X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1ac39c2599b52acbf08e30c93ad358caced9deb5;p=clang [analyzer] Add a link to the Building a Checker in 24 Hours talk to the developer manual git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@179490 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/www/analyzer/checker_dev_manual.html b/www/analyzer/checker_dev_manual.html index 5368eb0e96..a824953031 100644 --- a/www/analyzer/checker_dev_manual.html +++ b/www/analyzer/checker_dev_manual.html @@ -18,13 +18,18 @@

Checker Developer Manual

-

The static analyzer engine performs symbolic execution of the program and +

The static analyzer engine performs path-sensitive exploration of the program and relies on a set of checkers to implement the logic for detecting and -constructing bug reports. This page provides hints and guidelines for anyone -who is interested in implementing their own checker. The static analyzer is a +constructing specific bug reports. Anyone who is interested in implementing their own +checker, should check out the Building a Checker in 24 Hours talk +(slides + video) +and refer to this page for additional information on writing a checker. The static analyzer is a part of the Clang project, so consult Hacking on Clang -and LLVM Programmer's Manual -for general developer guidelines and information.

+and LLVM Programmer's Manual +for developer guidelines and send your questions and proposals to +cfe-dev mailing list. +