Análise Estática de Código-Fonte
It offers a comprehensive summary for researchers and practitioners in software engineering, but is incremental as it synthesizes existing knowledge without novel contributions.
This paper provides a theoretical overview of source code static analysis, covering its definition, applications, methods, intermediate representations, models, techniques, and available tools, without presenting new experimental results or numerical findings.
This article presents a theoretical summary of the source code static analysis, its definition, uses and applications, how static analysis is performed, their intermediate representation formats, models and most common analysis techniques, ends up presenting a set of free and freely available downloadable static analysis tools, academic software tools developed by scientists during their research work (The paper is written in Brazillian Portuguese).