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

Mikhail Ramalho via cfe-dev cfe-dev at lists.llvm.org
Tue May 1 07:27:03 PDT 2018

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_


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

More information about the cfe-dev mailing list