[cfe-dev] [GSoC 2018] Using the Z3 SMT Solver to Validate Bugs Reported by the Clang Static Analyzer

[Mikhail Ramalho via cfe-dev]

Hello all,

My proposal for GSoC 2018 [0] about Bug Validation in the Clang Static
Analyzer using the Z3 SMT Solver was accepted.

I'll work with George Karpenkov to improve the bug reports that the static
analyzer produces by reducing the number of false bugs.

Thank you,

[0] https://docs.google.com/document/d/1-zNSv0l4WyoxYpJUAw8LFnQq_
TY4AGjIpPu1VPkmO-g

-- 

Mikhail Ramalho.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180501/1d94c653/attachment.html>