HNHacker News
TopNewBestAskShowJobs

thradams

221 karma · joined September 13, 2022

submissionscomments

Cake static analysis for C: ownership, nullability and initialization

cakecc.org·4 pts·thradams·
1

Ownership model and nullable pointers for C

cakecc.org·3 pts·thradams·
1

Fixing C source code from the internet using cake static analyzer

youtube.com·12 pts·thradams·
2

Static Ownership Checks for C

thradams.com·2 pts·thradams·
1

Experimental static ownership checks for C

thradams.com·4 pts·thradams·
1

Cake – A C23 compiler frond end written from scratch in C

github.com·212 pts·thradams·
52