2026-04-05T11:25:26Zhttps://recercat.cat/oai/requestoai:recercat.cat:2099.1/138952025-07-22T21:44:24Zcom_2072_1033col_2072_452951
Static analysis on imperative languages
Pol i Gonzalez, Aleix
Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació
Open source software
Programming languages (Electronic computers)
Errors
LLenguatges imperatius
Programació funcional
Compilers
Errors
Imperative languages
Programming
Free software
Opensource
kdevelop
Development
Functional programming
Static analysis
Programari lliure
Llenguatges de programació
KDE (Programes d'ordinador)
Compiladors (Programes d'ordinador)
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.
2011-12-01
Master thesis (pre-Bologna period)
Open Access
Universitat Politècnica de Catalunya