<div dir="ltr">Hi!<br><br>After a long summer's work, I'm concluding my GSoC project. You can find the final report here:<div><br></div><div><a href="https://szelethus.github.io/gsoc2019/">https://szelethus.github.io/gsoc2019/</a><br></div><div><br></div><div>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.</div><div><br></div><div>I again would like to thank everyone who helped me on this project -- you all know I could not have done it without you.</div><div><br></div><div>Cheers!</div><div>Kristóf</div></div>