A fork of the goblint static analysis framework