Proposta de dissertação do MEI Título: Verificação Estática Automática de Apps Android Proponente(s): António Ravara e João Casal (Aptoide) Créditos: 42 ECTS Área científica: Software Construction and Analysis Início preferencial: Qualquer semestre URL: Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: A Aptoide (www.aptoide.com) pretende verificar qualidade às Apps que disponibiliza. Um aspecto importante é a correcção do software, tanto por não ter bugs como por fazer um uso racional dos recursos da máquina onde vai correr, nomeadamente não fazendo uso indevido/malicioso desta. Existem hoje inúmeras ferramentas de verificação estática para Java em geral e para plataformas de desenvolvimento para Android em particular. Pretende-se desenvolver uma metodologia assente em ferramentas de análise estática que permita verificar o código fonte das Apps submetidas para disponibilização nas lojas suportadas pela Aptoide. Tal metodologia permitirá verificar as apps em relação a um conjunto de critérios entendidos como relevantes, dando por um lado feedback ao autor sobre a qualidade do seu código e por outro garantias ao utilizador de ausência de erros ou comportamento malicioso em tempo de execução de dada app que instala. Observações: A/O aluna/o passará cerca de metade do tempo na empresa, sendo suportado nesse período por uma bolsa para licenciado.