Projects completed for the Static Analyis class during my sixth semester at UFMG.
Project description: https://homepages.dcc.ufmg.br/~fernando/classes/dcc888/assignment/
First project: Cecília Kind Second Project: Cecília Kind and Vinícius Julião Third Project: Cecília Kind and Marcos Vinicius