<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi,<div class=""><br class=""></div><div class="">You might want to consult a video “how to write a checker in 24 hours” </div><div class="">(video: <a href="https://www.youtube.com/watch?v=kdxlsP5QVPw&feature=youtu.be" class="">https://www.youtube.com/watch?v=kdxlsP5QVPw&feature=youtu.be</a>, slides: <a href="http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf" class="">http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf</a>).</div><div class="">There’s also more extensive documentation in PDF: <a href="https://github.com/haoNoQ/clang-analyzer-guide/releases" class="">https://github.com/haoNoQ/clang-analyzer-guide/releases</a></div><div class=""><br class=""></div><div class="">Basically, you define a checker, and the checker can have callbacks when events of interest occur,</div><div class="">which include reading or writing into local variables.</div><div class=""><br class=""></div><div class="">George</div><div class=""><div><br class=""><blockquote type="cite" class=""><div class="">On Jun 4, 2018, at 5:24 PM, 牛治 via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Dear developers:<br class=""><br class="">How to judge whether a local variable is read or written in CSA,Can you provide a method ?thank you very much.<br class="">发自我的 iPhone<br class=""><br class="">_______________________________________________<br class="">cfe-dev mailing list<br class=""><a href="mailto:cfe-dev@lists.llvm.org" class="">cfe-dev@lists.llvm.org</a><br class="">http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev<br class=""></div></div></blockquote></div><br class=""></div></body></html>