a template application for those interested in writing C apps to experiment with static analyzers