This is a fork of the goblint static analysis framework, used for experiments on localization.