1. Home
  2. Universitat Politècnica de Catalunya
  3. Treballs acadèmics
  4. View Item

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

Publication date

2011-12-01

Share

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.

Document Type

Master thesis (pre-Bologna period)

Language

English

Subjects and keywords

À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)

Publisher

Universitat Politècnica de Catalunya

Recommended citation

This citation was generated automatically.

Export

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Rights

Open Access

This item appears in the following Collection(s)

Treballs acadèmics [82502]