Por favor, use este identificador para citar o enlazar este ítem: https://rd.uffs.edu.br/handle/prefix/9187
Type: Monografia
Título : Geração de código rust aleatório utilizando modelos grandes de linguagem para testes de compiladores
Author: Magnabosco, Fernando Schreiner
First advisor: Feitosa, Samuel da Silva
Resume: This work proposes an approach for testing Rust compilers using Large Language Models (LLMs) to generate random code focused on unstable features. The methodology implements a differential testing system that uses the official rustc compiler as an oracle to filter semantically valid test cases before submitting them to gccrs, an alternative compiler under development. The system targets complex features such as trait specialization and constant evalua- tion. Results from 1,403 generated instances show that while LLMs struggle with the strict semantic rules of Rust’s nightly features (yielding a 3.7% validity rate), the filtering process proved crucial. The validated test cases revealed that the target compiler (gccrs) is currently limited by infrastructure bottlenecks—specifically due to missing language items and standard library linkage—rather than logic errors in complex passes. Crucially, the absence of critical crashes (ICEs) suggests stability in the compiler’s frontend parsing, even if backend integration remains incomplete. This study demons- trates that LLM-based fuzzing can serve as an effective "maturity probe"for emerging compilers.
Palabras clave : Montadores e compiladores
Testes
Geração de código
Inteligência artificial
Language: por
Country: Brasil
Editorial : Universidade Federal da Fronteira Sul
Acronym of the institution: UFFS
College, Institute or Department: Campus Chapecó
Type of Access: Acesso Aberto
URI : https://rd.uffs.edu.br/handle/prefix/9187
Fecha de publicación : 2025
Aparece en las colecciones: Ciência da Computação

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
MAGNABOSCO.pdf682.21 kBAdobe PDFVisualizar/Abrir


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.