<div dir="ltr"><div><div><div><div>Hi Zhaoqian,<br><br></div>My tool SAINT (<span style="font-family:monospace,monospace"><a href="https://github.com/" target="_blank">https://github.com/</a><span>xaviernoumbis/saint) implements a static taint<br></span></span></div><span style="font-family:monospace,monospace"><span>analysis that can be used to detect buffer overflows.<br></span></span></div><span style="font-family:monospace,monospace"><span><br>The draft of the paper can be find here: </span></span><br><span style="font-family:monospace,monospace"><a href="https://sites.google.com/site/xaviernoumbis" target="_blank">https://sites.google.com/site/xaviernoumbis/research/noumbissi-draft-phd-thesis.pdf</a><br><br></span></div><span style="font-family:monospace,monospace">Best Regards<br></span><div><div><div><div><div><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div><span style="font-family:monospace,monospace">Dipl.-Inf. Xavier NOUMBISSI NOUNDOU<br><br></span></div><span style="font-family:monospace,monospace">Website: <a href="https://sites.google.com/site/xaviernoumbis" target="_blank">https://sites.google.com/site/xaviernoumbis</a><br></span></div><span style="font-family:monospace,monospace">Github:  <a href="https://github.com/" target="_blank">https://github.com/</a><span>xaviernoumbis</span></span></div></div>
</div></div></div></div></div></div>