oper Manual</h1>

<p>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 specific bug reports. Anyone who is interested in implementing their own 
checker, should check out the Building a Checker in 24 Hours talk 
(<a href="http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf">slides</a>
 <a href="http://llvm.org/devmtg/2012-11/videos/Zaks-Rose-Checker24Hours.mp4">video</a>) 
and refer to