GSoC'19 Final Report: Enhancing bug reports in the Clang Static Analyzer


After a long summer’s work, I’m concluding my GSoC project. You can find the final report here:

I briefly present some definitions and and algorithms as well, so no prior static analyzer knowledge is required. I also added links to related patches and discussions for further reading.

I again would like to thank everyone who helped me on this project – you all know I could not have done it without you.