yetangitu/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-10-04 18:29:37 +02:00
Code Issues Releases Wiki Activity

modification to consume propagation

Browse source
This commit is contained in:
caheckman 2019-10-22 15:32:24 -04:00
parent e014cfb3a5
commit 165377aad7
1 changed files with 16 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

22
Ghidra/Features/Decompiler/src/decompile/cpp/coreaction.cc
View file

@ -2877,14 +2877,24 @@ void ActionDeadCode::propagateConsumed(vector<Varnode *> &worklist)
switch(op->code()) {
case CPUI_INT_MULT:
b = coveringmask(outc);
if (op->getIn(1)->isConstant()) {
int4 leastSet = leastsigbit_set(op->getIn(1)->getOffset());
if (leastSet >= 0) {
a = calc_mask(vn->getSize()) >> leastSet;
a &= b;
}
else
a = 0;
}
else
a = b;
pushConsumed(a,op->getIn(0),worklist);
pushConsumed(b,op->getIn(1),worklist);
break;
case CPUI_INT_ADD:
case CPUI_INT_SUB:
a = outc | (outc>>1); // Make sure all 1 bits below
a = a | (a>>2); // highest 1 bit are set
a = a | (a>>4);
a = a | (a>>8);
a = a | (a>>16);
a = a | (a>>32);
a = coveringmask(outc); // Make sure value is filled out as a contiguous mask
pushConsumed(a,op->getIn(0),worklist);
pushConsumed(a,op->getIn(1),worklist);
break;