yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-03 09:49:23 +02:00
Code Issues Releases Wiki Activity

Merge remote-tracking branch 'origin/GP-5335_HeritageRefinementBug' into

Browse source 
Ghidra_11.3 (Closes #7433, Closes #7435)
This commit is contained in:
Ryan Kurtz 2025-02-03 15:18:36 -05:00
commit c5aa952ad2
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Ghidra/Features/Decompiler/src/decompile/cpp/heritage.cc
View file

@ -1892,10 +1892,11 @@ TaskList::iterator Heritage::refinement(TaskList::iterator memiter,const vector<
int4 size = (*memiter).size; int4 size = (*memiter).size;
if (size > 1024) return disjoint.end(); if (size > 1024) return disjoint.end();
Address addr = (*memiter).addr; Address addr = (*memiter).addr;
vector<int4> refine(size+1,0); vector<int4> refine(size+1,0); // Add "fencepost" for size position
buildRefinement(refine,addr,readvars); buildRefinement(refine,addr,readvars);
buildRefinement(refine,addr,writevars); buildRefinement(refine,addr,writevars);
buildRefinement(refine,addr,inputvars); buildRefinement(refine,addr,inputvars);
refine.pop_back(); // Remove the fencepost
int4 lastpos = 0; int4 lastpos = 0;
for(int4 curpos=1;curpos < size;++curpos) { // Convert boundary points to partition sizes for(int4 curpos=1;curpos < size;++curpos) { // Convert boundary points to partition sizes
if (refine[curpos] != 0) { if (refine[curpos] != 0) {