|
@@ -23,7 +23,7 @@ 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>)
|
|
|
+ <a href="https://youtu.be/kdxlsP5QVPw">video</a>)
|
|
|
and refer to this page for additional information on writing a checker. The static analyzer is a
|
|
|
part of the Clang project, so consult <a href="http://clang.llvm.org/hacking.html">Hacking on Clang</a>
|
|
|
and <a href="http://llvm.org/docs/ProgrammersManual.html">LLVM Programmer's Manual</a>
|
|
@@ -696,7 +696,7 @@ href="http://llvm.org/devmtg/2012-11">November 2012 LLVM Developer's
|
|
|
meeting</a>. Describes the construction of SimpleStreamChecker. <a
|
|
|
href="http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf">Slides</a>
|
|
|
and <a
|
|
|
-href="http://llvm.org/devmtg/2012-11/videos/Zaks-Rose-Checker24Hours.mp4">video</a>
|
|
|
+href="https://youtu.be/kdxlsP5QVPw">video</a>
|
|
|
are available.
|
|
|
</ul>
|
|
|
|