Static analysis tool using Clang libraries designed for use with Colobot - View it on GitHub