Student: | Pedro Miguel Jesus da Silva |
Student No.: | 201907523 |
Supervisors: |
João Carlos Viegas Martins Bispo
|
Co-supervisors: |
Pedro Miguel dos Santos Pinto
|
  | |
Status: | Concluído |
Since: | 10-ABR-2025 |
  | |
Start: | 13-AGO-2024 |
Thesis Submission: | 28-FEV-2025 |
Defence: | 03-FEV-2025 |
  | |
Thesis Title: | CMender: Code Mending Tool to Enable Large-Scale Analysis of Incomplete C Code |
Provisional Title: | Enabling AST-Based Large-Scale Analysis for C Using Code Mending |
Name | Role |
---|---|
Jácome Cunha | Presidente |
Ricardo Nobre | Arguente |
João Bispo | Vogal Orientador |