<div dir="ltr">We have the convention of modeling and reporting checkers. Modeling checkers provide the information that is used by the reporting checkers. Ideally, taint analysis should be implemented in this way too. So, sooner or later we will refactor GenericTaintChecker to be like this.<div>Anyway, `isTainted` provided by the taint analysis is part of the modeling and can be reused by other checkers which do some reporting. Just make sure you register the dependency on the taint checker in Checkers.td.</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Sep 2, 2020 at 9:22 AM Thien Tran <<a href="mailto:thientc84@gmail.com">thientc84@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Thank you very much for your response,<div><br></div><div>I'm reading GenericTaintChecker and in its document "The taint information produced by it might be useful to other checkers". I wonder how I can get the information from GenericTaintChecker or is it better to add my own analysis to it?<br clear="all"><div><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><br></div><div dir="ltr">----------------<div>Best regards,</div><div>Thien Tran.</div></div></div></div></div></div></div></div></div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 2 Sep 2020 at 10:06, Gábor Márton <<a href="mailto:martongabesz@gmail.com" target="_blank">martongabesz@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div>Hi,<div dir="auto"><br></div><div dir="auto">Checkers which emit bug reports are ought to be independent. So in this sense, no, you cannot "launch" another checker inside the current checker. </div><div dir="auto"><br></div>Hope this helps, </div><div dir="auto">Gábor <br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Tue, 1 Sep 2020, 08:25 Thien Tran via cfe-dev, <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hello all,<div><br></div><div>I'm writing a checker to analyze function calls in the body. Please let me know if we can launch another checker in the context of the current checker?</div><div><div><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><br></div><div>Thank you very much!</div><div><br></div><div dir="ltr">----------------<div>Best regards,</div><div>Thien Tran.</div></div></div></div></div></div></div></div></div></div></div>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" rel="noreferrer" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div></div>
</blockquote></div>
</blockquote></div>