Mirrors_Framework/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2026-05-27 23:17:03 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

GP-1956 corrected improper pointer mask error check for segmented

Browse Source 
address space.
This commit is contained in:
ghidra1
2022-04-25 09:47:11 -04:00
parent 47f76c78d6
commit da570d5d14
2 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/data/OffsetMaskSettingsDefinition.java
+1 -1
View File
@@ -35,7 +35,7 @@ public class OffsetMaskSettingsDefinition
private static final String DISPLAY_NAME = "Offset Mask"; private static final String DISPLAY_NAME = "Offset Mask";
private static BigInteger MAX_VALUE = new BigInteger("0ffffffffffffffff", 16); private static BigInteger MAX_VALUE = new BigInteger("0ffffffffffffffff", 16);
private static final long DEFAULT = -1; // unsigned mask - all bits are ones public static final long DEFAULT = -1; // unsigned mask - all bits are ones
public static final OffsetMaskSettingsDefinition DEF = public static final OffsetMaskSettingsDefinition DEF =
new OffsetMaskSettingsDefinition(); new OffsetMaskSettingsDefinition();
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/data/PointerDataType.java
+7 -3
View File
@@ -411,7 +411,11 @@ public class PointerDataType extends BuiltIn implements Pointer {
long addrOffset = offset; long addrOffset = offset;
long mask = OffsetMaskSettingsDefinition.DEF.getValue(settings); long mask = OffsetMaskSettingsDefinition.DEF.getValue(settings);
if (mask != 0) { if (mask == 0) {
errorHandler.accept("Invalid pointer mask: 0");
return null;
}
if (mask != OffsetMaskSettingsDefinition.DEFAULT) {
addrOffset &= mask; addrOffset &= mask;
} }
@@ -424,7 +428,7 @@ public class PointerDataType extends BuiltIn implements Pointer {
addrOffset >>>= -shift; // unsigned right-shift addrOffset >>>= -shift; // unsigned right-shift
} }
} }
else { else if (shift > 0) {
addrOffset <<= shift; // left-shift addrOffset <<= shift; // left-shift
} }
@@ -504,7 +508,7 @@ public class PointerDataType extends BuiltIn implements Pointer {
errorHandler.accept("Unsupported segmented address size: " + size); errorHandler.accept("Unsupported segmented address size: " + size);
return null; return null;
} }
if (mask != 0 || shift != 0) { if (mask != OffsetMaskSettingsDefinition.DEFAULT || shift != 0) {
errorHandler.accept("Unsupported mask/shift setting for segmented address"); errorHandler.accept("Unsupported mask/shift setting for segmented address");
return null; return null;
} }