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

New indirect_store flag

Browse source
This commit is contained in:
caheckman 2019-06-28 13:03:26 -04:00
parent b7608adcf2
commit a4856b9af0
6 changed files with 12 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Ghidra/Features/Decompiler/src/decompile/cpp/funcdata_varnode.cc
View file

@ -1402,7 +1402,6 @@ bool AncestorRealistic::checkConditionalExe(State &state)
int4 AncestorRealistic::enterNode(State &state)
{
PcodeOp *indop;
// If the node has already been visited, we truncate the traversal to prevent cycles.
// We always return success assuming the proper result will get returned along the first path
if (state.vn->isMark()) return pop_success;
@ -1424,8 +1423,7 @@ int4 AncestorRealistic::enterNode(State &state)
return pop_failkill; // Truncate this path, indicating killedbycall
return pop_success; // otherwise it could be valid
}
indop = PcodeOp::getOpFromConst(op->getIn(1)->getAddr());
if (indop->isCall()) { // If flow goes THROUGH a call
if (!op->isIndirectStore()) { // If flow goes THROUGH a call
if (op->getOut()->isReturnAddress()) return pop_fail; // Storage address location is completely invalid
if (trial->isKilledByCall()) return pop_fail; // "Likely" killedbycall is invalid
}