static analysis and goblint
fixes