A small and simple static analysis tool for C in C - View it on GitHub