6 820 Fundamentos de Análise de Programas Fall 2015

A complexidade do software está crescendo rapidamente, tornando a revisão manual de código e os testes tradicionais insuficientes para detectar bugs críticos e vulnerabilidades de segurança. A análise de programas fornece os fundamentos matemáticos e ferramentas automatizadas para verificar a correção do software antes mesmo de ser executado. Este curso equipa você com os conceitos fundamentais e técnicas modernas necessárias para analisar, verificar e otimizar o software. Você fará a transição de escrever código para raciocinar sistematicamente sobre seu comportamento e propriedades de segurança. O que você aprenderá: Entenda os princípios básicos da análise de programas estáticos e verificação formal; Explore sistemas de verificação de tipo e como os compiladores modernos garantem a segurança de tipo; Aplique a interpretação abstrata para aproximar o comportamento do programa sem executar o código; Descubra técnicas de verificações de modelo para verificar sistematicamente os requisitos de software Integre ferramentas de análise estática em fluxos de trabalho de desenvolvimento modernos e pipelines de CI/CD. Começamos com a terminologia chave e os fundamentos matemáticos essenciais do comportamento do programa. A partir daí, você progredirá através da implementação prática de sistemas de tipos, interpretação abstrata e ferramentas de verificação automatizadas. Este curso é projetado para desenvolvedores de software, estudantes de ciência da computação e aspirantes a pesquisadores de segurança que querem entender como o código funciona sob o capô. Nenhuma experiência prévia com métodos formais é necessária, pois construímos todos os conceitos a partir do zero. Comece a ler hoje para construir sistemas de software mais confiáveis e seguros.