Análisis de recursos de programas enteros y abstractosResource analysis of integer and abstract programs
- Elvira Albert Directrice
Université de défendre: Universidad Complutense de Madrid
Fecha de defensa: 27 mai 2022
- Francisco Javier López Fraguas President
- Manuel Montenegro Montes Secrétaire
- Enric Rodríguez Carbonell Rapporteur
- Guillermo Román Díez Rapporteur
- Einar Broch Johnsen Rapporteur
Type: Thèses
Résumé
Since the beginning of automated computing in the middle of the last century, the development of computer science has been linked to an increasing importance in all areas of the current society. The inclusion of computer science processes in everyday life and, in particular, its inclusion in critical situations, cannot go linked only to the generation of hardware and software, but also to the analysis and verification of all its components. While hardware analysis is crucial for the generation and maintenance of the computation infrastructure, as it is able to detect or predict components that can have a wrong behavior, software analysis focuses on analyzing the behavior of computer programs to address properties such as security, correctness or optimality. Depending on the type of analysis applied to the software, we can detect potential vulnerabilities in the code, find incorrect specifications, apply optimizations based on the maximun and minimun cost of the programs, calculate the resource consumption of a program..