Nixyri/ghidra
1
0
Fork 0
mirror of https://github.com/NationalSecurityAgency/ghidra.git synced 2025-02-18 08:30:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

tighter landmarks

Browse Source
This commit is contained in:
caheckman 2019-06-14 12:48:26 -04:00
parent 49f72d2de7
commit 6986813538
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
Ghidra/Features/Decompiler/src/decompile/cpp/rangeutil.cc
View File

@ -1723,13 +1723,14 @@ bool ValueSet::iterate(Widener &widener)
const CircleRange *ValueSet::getLandMark(void) const
{
if (equations.empty())
return (const CircleRange *)0;
const Equation &landmark(equations.back());
if (landmark.slot != numParams || typeCode != landmark.typeCode)
return (const CircleRange *)0;
return &landmark.range;
// Any equation can serve as a landmark. We prefer the one restricting the
// value of an input branch, as these usually give a tighter approximation
// of the stable point.
for(int4 i=0;i<equations.size();++i) {
if (equations[i].typeCode == typeCode)
return &equations[i].range;
}
return (const CircleRange *)0;
}
/// \param s is the stream to print to