Psyche-C is a compiler frontend for the C language that is designed for the implementation of static analysis tools: https://github.com/ltcmelo/psychec
As an attempt to encourage contributions to Psyche-C, I started a modest bounty program (the 2nd. one). At the moment, there are 4 open bounties, each associated to a task: