TY  - THES
AU  - Kabtoul, Owayss
A3  - Rubio Gimeno, Alberto
A3  - Isabel Márquez, Miguel
PY  - 2024
UR  - https://hdl.handle.net/20.500.14352/109074
AB  - A static program analyzer reasons about the behavior of a program and analyzes its source code to find potential issues such as bugs, antipatterns, and other issues that canbe diagnosed without executing the program.In the present work, we apply...
AB  - Las herramientas de análisis de código estático examinan el código fuente de un programa con el fin de detectar posibles problemas como errores de funcionamiento (bug), antipatrones, y demás inconvenientes que puedan diagnosticarse sin tener que...
LA  - eng
KW  - Static analysis
KW  - Compiler checks
KW  - Circom
KW  - Arithmetic circuits
KW  - Software lints
KW  - Path analysis
KW  - Loop termination
KW  - Análisis estático
KW  - Compilador
KW  - Circuitos airtméticos
KW  - Lints de software
KW  - Error de diagnóstico
KW  - Path analysis
KW  - Terminación de bucles
TI  - Improving Circom compiler diagnostic messages through static analysis
T2  - Mejora de los mensajes de error del compilador de Circom a través del análisis estático
M3  - master thesis
ER  -