assert targetValue != null;
// Translate real library addresses into stub addresses. Necessary because the static analysis component
// does not know about concrete import addresses, so it uses a stub system.
if (!isProgramAddress(targetValue)) {
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))));