Static analysis on imperative languages

Aleix Pol i Gonzalez · 2011

In this project we described how I created a FOSS Static Analyzer on top of KDevelop to make sure that some problems don't happen in C++ code bases. It's discussed what changes and additions happened to make it possible to provide a set of checks to improve the daily development process.

Read the paper · More papers on PaperTik