Auditoria de Software

5 Dezembro 2023, 16:30 • Ibéria Medeiros

---

Metodologias de auditoria de segurança de software; Exemplo OWASP; Árvores de ataque e metodologias associadas; Estratégias de auditoria de código

Análise Estática - Hands On

29 Novembro 2023, 18:30 • Ibéria Medeiros

---

Realização do guião do trabalho com experiências com ferramentas de análise estática.

Análise Estática - Hands On

28 Novembro 2023, 18:30 • Ibéria Medeiros

---

Realização do guião do trabalho com experiências com ferramentas de análise estática.

Análise Estática de Código

28 Novembro 2023, 16:30 • Ibéria Medeiros

---

Análise estática de código; Métodos básicos; Análise semântica; Verificação de tipos; Análise de controlo de fluxo; Análise de fluxo de dados; Ferramenta WAP; Análise simbólica

Fuzzers - Hands On

22 Novembro 2023, 18:30 • Ibéria Medeiros

---

Realização do guião do trabalho com experiências com ferramentas de fuzzing. Apresentação e discussão de artigos relacionados com a segurança de software.