{"@context":{"dc":"http:\/\/purl.org\/dc\/elements\/1.1\/","skos":"http:\/\/www.w3.org\/2004\/02\/skos\/core#","skos:broader":{"@type":"@id"},"skos:inScheme":{"@type":"@id"},"skos:related":{"@type":"@id"},"skos:narrower":{"@type":"@id"},"skos:hasTopConcept":{"@type":"@id"},"skos:topConceptOf":{"@type":"@id"}},"@id":"https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/26731","@type":"skos:Concept","skos:prefLabel":{"@language":"pt-BR","@value=":"An\u00e1lise est\u00e1tica"},"skos:inScheme":"https:\/\/adm.senado.leg.br\/vcb\/vocab\/","dct:created":"2020-09-18 17:49:41","skos:definition":[{"@lang":"ab","@value":"Tipo de teste de software que verifica a l\u00f3gica interna em busca de falhas ou vulnerabilidades. A an\u00e1lise est\u00e1tica ocorre por meio de revis\u00e3o, an\u00e1lise automatizada ou verifica\u00e7\u00e3o formal do c\u00f3digo-fonte ou dos bin\u00e1rios, usando uma abordagem do tipo caixa-branca. Uma ferramenta que executa a an\u00e1lise est\u00e1tica de forma automatizada vai, essencialmente, procurar por erros que possam impedir a execu\u00e7\u00e3o (run-time errors), erros comuns da linguagem alvo e c\u00f3digo potencialmente malicioso, sendo especialmente eficiente para encontrar erros como a corrup\u00e7\u00e3o de mem\u00f3ria e estouros de buffer, vazamentos de mem\u00f3ria, opera\u00e7\u00f5es ilegais e inseguras, ponteiros nulos, loops infinitos, c\u00f3digo incompleto, c\u00f3digo redundante e c\u00f3digo morto (absolutamente sem uso) e permitindo tamb\u00e9m identificar se est\u00e1 sendo chamada uma biblioteca incorretamente ou se a linguagem est\u00e1 sendo utilizada de forma incorreta ou de forma inconsistente. "}],"skos:broader":["https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/10906"],"skos:altLabel":[{"language":"pt-BR","value":"An\u00e1lise est\u00e1tica de softwares"}],"skos:related":["https:\/\/adm.senado.leg.br\/vcb\/vocab\/skos\/26730"]}