Researcher profile

Cindy Rubio-González

2 papers in the PaperMetrix corpus

Publications

Papers by this author

On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions

2021 · 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Static bug detectors aim at helping developers to automatically find and prevent bugs. In this experience paper, we study the effectiveness of static bug detectors at identifying Null Pointer Dereferences or Null Pointer Exceptions (NPEs). …
Interleaving Static Analysis and LLM Prompting

2024

This paper presents a new approach for using Large Language Models (LLMs) to improve static program analysis. Specifically, during program analysis, we interleave calls to the static analyzer and queries to the LLM: the prompt …