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