From 1ac39c2599b52acbf08e30c93ad358caced9deb5 Mon Sep 17 00:00:00 2001
From: Anna Zaks 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. Checker Developer Manual
-