goblint

Static analysis framework for C