Análise estática

Em ciência da computação, a análise estática de um programa é aquela realizada sem executá-lo.[1][2]

Tem por objetivo encontrar vulnerabilidades e demais problemas na aplicação, e normalmente é executada durante a fase de revisão de código dentro do ciclo de vida de desenvolvimento de sistemas. Idealmente, tais ferramentas encontrariam falhas de segurança automaticamente e com alto grau de confiança. Todavia, isso está além do estado da arte, e as ferramentas de análise estática normalmente servem apenas de auxílio, evidenciando potenciais falhas para revisão por parte dos programadores.[3]

Referências

  1. Wichmann, B. A.; Canning, A. A.; Clutterbuck, D. L.; Winsbarrow, L. A.; Ward, N. J.; Marsh, D. W. R. (Mar 1995). «Industrial Perspective on Static Analysis.» (PDF). Software Engineering Journal. 10 (2): 69–75. doi:10.1049/sej.1995.0010. Cópia arquivada (PDF) em 27 de setembro de 2011 
  2. Egele, Manuel; Scholte, Theodoor; Kirda, Engin; Kruegel, Christopher (5 de março de 2008). «A survey on automated dynamic malware-analysis techniques and tools». ACM Computing Surveys. 44 (2): 6:1–6:42. ISSN 0360-0300. doi:10.1145/2089125.2089126 
  3. Dewhurst, Ryan. «Static Code Analysis». OWASP. Consultado em 6 de janeiro de 2023 
  Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.