« Home

Research Projects

2024

• Research Participant
  LLM AI static-analysis
  LLMs Meet Static Analysis: improving quality and reliability of AI‑generated code
  2024 - University of Parma, Italy

  ISCRA PROJECT (CLASS C), CINECA

  The goal of the project is to conduct an extensive quality and safety evaluation of the code generated with some of the most popular and open‑source LLMs employing static analyzers, that can detect vulnerabilities and run‑time errors statically, without executing the code. Once this information is available, it will be included in the code‑generation task, to guide the LLM itself to produce a more precise and safe output, in which static analysis is somehow introduced in the pipeline of the code‑generation task.