Tese de Mestrado em Engenharia Informática e Computação

CMender: Code Mending Tool to Enable Large-Scale Analysis of Incomplete C Code

Estudante:	Pedro Miguel Jesus da Silva
Nº de Estudante:	201907523
Orientadores:	João Carlos Viegas Martins Bispo
Coorientadores:	Pedro Miguel dos Santos Pinto

Estado:	Concluído
Desde:	10-ABR-2025

Início:	13-AGO-2024
Entrega da Tese:	28-FEV-2025
Defesa:	03-FEV-2025

Título da Tese:	CMender: Code Mending Tool to Enable Large-Scale Analysis of Incomplete C Code
Título Provisório:	Enabling AST-Based Large-Scale Analysis for C Using Code Mending