• Static analysis on imperative languages 

      Pol i Gonzalez, Aleix (Universitat Politècnica de Catalunya, 2011-12-01)
      Projecte/Treball Final de Carrera
      Accés obert
      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 ...