https://goblint.in.tum.de
Goblint Project
Static analysis framework for C
goblint
C Intermediate Language