filter address space marshalling based on other space

This commit is contained in:
caheckman 2019-10-02 11:30:28 -04:00
parent 621c14c7b2
commit bf4a17b67d

View file

@ -406,10 +406,7 @@ public class Varnode {
public static void appendSpaceOffset(StringBuilder buf, Address addr) {
AddressSpace space = addr.getAddressSpace();
if (space.isOverlaySpace()) {
//if the address is contained within the overlay space, stay in the overlay
//otherwise default to the underlying space
if (addr.compareTo(space.getMinAddress()) < 0 ||
addr.compareTo(space.getMaxAddress()) > 0) {
if (space.getType() != AddressSpace.TYPE_OTHER) {
space = space.getPhysicalSpace();
addr = space.getAddress(addr.getOffset());
}