Small static analysis project from SAE course at ETHZ