BODHI: Precise OS Kernel Specification Inference

Este artigo propõe BODHI, um método de prompt de conhecimento de domínio para inferência de especificação do kernel do sistema operacional, visando superar as limitações atuais dos LLMs. Ele aumenta o prompt few-shot com um guia de tradução C para Python, melhorando a automação e a precisão das especificações.