C cakecc.org Cake static analysis for C: ownership, nullability and initialization 4 points thradams 18 days ago 1 comments