|
Title:
|
Static analysis on imperative languages
|
|
Author:
|
Pol i Gonzalez, Aleix
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Rivero Almeida, José Miguel |
|
Abstract:
|
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. |
|
Subject(s):
|
-À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) |
|
Rights:
|
|
|
Document type:
|
Bachelor Thesis |
|
Published by:
|
Universitat Politècnica de Catalunya
|
|
Share:
|
|
