logger.debug(dcs.getLocation() + ": Jumping out of module to " + targetValue.toHexString());
// Attempt to map this out-of-module location to a stub
if (realToStub.containsKey(targetValue)) {
// If we saw this concrete address before, replace it by the known stub
logger.debug("Replacing concrete target " + targetValue.toHexString() + " with stub to " + program.getSymbolFor(new AbsoluteAddress(realToStub.get(targetValue))));
targetValue = realToStub.get(targetValue);
} else {
// Check the statically produced edges for one that is not yet mapped to a concrete address.
// If the over-approximation resolved an import to a stub, it's going to be contained.