The goblint static analysis framework