<div dir="ltr">Hello all,<div><br></div><div>My proposal for GSoC 2018 [0] about Bug Validation in the Clang Static Analyzer using the Z3 SMT Solver was accepted.</div><div><br></div><div>I'll work with George Karpenkov to improve the bug reports that the static analyzer produces by reducing the number of false bugs.</div><div><br></div><div>Thank you,</div><div><br></div><div>[0] <a href="https://docs.google.com/document/d/1-zNSv0l4WyoxYpJUAw8LFnQq_TY4AGjIpPu1VPkmO-g" target="_blank">https://docs.google.com/<wbr>document/d/1-<wbr>zNSv0l4WyoxYpJUAw8LFnQq_<wbr>TY4AGjIpPu1VPkmO-g</a><br clear="all"><div><br></div>-- <br><div class="m_-1529477061806271292gmail_signature"><div dir="ltr"><div><br></div><div>Mikhail Ramalho.</div></div></div>
</div></div>