# An\'alise Est\'atica de C\'odigo-Fonte

## TL;DR

This paper provides a comprehensive theoretical overview of static source code analysis, including its definitions, techniques, representations, and available tools, primarily aimed at researchers and practitioners.

## Contribution

It offers a detailed summary of static analysis concepts, models, techniques, and a curated list of free tools, filling a gap in Brazilian Portuguese literature.

## Key findings

- Summarizes key static analysis techniques and models.
- Lists and describes free static analysis tools.
- Highlights applications and research developments in static analysis.

## Abstract

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).