Resumo: Esta monografia apresenta uma aplicação de análise estática de código para Python. A referida aplicação trata-se de um ensaio de viabilidade e foi projetada pensando no contexto do Tile-in-One, uma plataforma web pertencente a um dos detectores do Large Hedron Collider. A aplicação tem como objetivo prever falhas em scripts que outrora só seriam encontradas em tempo de execução, evitando assim a computação de um código defeituoso que resultaria no desperdício de recursos do servidor onde seria executado. Para atingir tal objetivo, foram analisadas diversas práticas que podem causar erros em tempo de execução ou em falhas de segurança que poderiam ser exploradas para atacar o servidor. Em seguida foram empregadas técnicas de análise de código para encontrar padrões que indiquem a existência destas práticas e determinar se o script contém ou não erros.

Banca:
Flávio Luis de Mello, DSc. (Presidente)
Carmen Lúcia Lodi Maidantchik, DSc. (Examinador)
Miguel Elias Mitre Campista, DSc. (Examinador)