GSoC 2018
Using the Z3 SMT Solver to Validate Bugs Reported by the Clang Static Analyzer
Project details
Contributor
Mikhail Y R Gadelha
Mentors
George Karpenkov, Artem Dergachev
Technologies
Not listed in the archive
Contributor
Mikhail Y R Gadelha
Mentors
George Karpenkov, Artem Dergachev
Not listed in the archive