1 paper
Daniela Ferreiro, Ignacio Casso, Jose F. Morales +2
Static analysis is an essential component of many modern software development tools. Unfortunately, the ever-increasing complexity of static analyzers makes their coding error-pron…