SymEvalPolicy::SymEvalPolicy(Result_t &r,
Address a,
Dyninst::Architecture ac,
Instruction::Ptr insn) :
res(r),
arch(ac),
addr(a),
ip_(Handle<32>(wrap(Absloc::makePC(arch)))),
failedTranslate_(false),
insn_(insn) {
// We also need to build aaMap FTW!!!
for (Result_t::iterator iter = r.begin();
iter != r.end(); ++iter) {
Assignment::Ptr a = iter->first;
// For a different instruction...
if (a->addr() != addr) continue;
AbsRegion &o = a->out();
if (o.containsOfType(Absloc::Register)) {
// We're assuming this is a single register...
//std::cerr << "Marking register " << a << std::endl;
aaMap[o.absloc()] = a;
}
else {
// Use sufficiently-unique (Heap,0) Absloc
// to represent a definition to a memory absloc
aaMap[Absloc(0)] = a;
}
}
}
