O objetivo desta aula é concluir o assunto de análises de fluxo de dados, consolidando liveness, e apresentando a análise de dominance como estudo de caso adicional. Além disso, também apresentamos o conceito de representação do programa em tempo de execução na memória, com foco especial na pilha.