A fork of the goblint static analysis framework with an interface to external information.