Move dynutil/h to common/h; move common/h to common/src. Update CMakeLists.txt
[dyninst.git] / dyninstAPI / src / parse-x86.C
1 /*
2  * See the dyninst/COPYRIGHT file for copyright information.
3  * 
4  * We provide the Paradyn Tools (below described as "Paradyn")
5  * on an AS IS basis, and do not warrant its validity or performance.
6  * We reserve the right to update, modify, or discontinue this
7  * software at any time.  We shall have no obligation to supply such
8  * updates or modifications or any other form of support to you.
9  * 
10  * By your use of Paradyn, you understand and agree that we (or any
11  * other person or entity with proprietary rights in Paradyn) are
12  * under no obligation to provide either maintenance services,
13  * update services, notices of latent defects, or correction of
14  * defects for Paradyn.
15  * 
16  * This library is free software; you can redistribute it and/or
17  * modify it under the terms of the GNU Lesser General Public
18  * License as published by the Free Software Foundation; either
19  * version 2.1 of the License, or (at your option) any later version.
20  * 
21  * This library is distributed in the hope that it will be useful,
22  * but WITHOUT ANY WARRANTY; without even the implied warranty of
23  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
24  * Lesser General Public License for more details.
25  * 
26  * You should have received a copy of the GNU Lesser General Public
27  * License along with this library; if not, write to the Free Software
28  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
29  */
30
31 /*
32  * inst-x86.C - x86 dependent functions and code generator
33  */
34
35 #include "common/src/Vector.h"
36 #include <unordered_map>
37 #include "common/src/Vector.h"
38 #include "parse-cfg.h"
39 #include "instPoint.h"
40 #include "mapped_object.h"
41 #include "image.h"
42 #include "debug.h"
43 #include <deque>
44 #include <set>
45 #include <algorithm>
46 //#include "arch.h"
47
48 #include "instructionAPI/h/Instruction.h"
49 #include "instructionAPI/h/InstructionDecoder.h"
50
51 using namespace Dyninst::ParseAPI;
52
53 bool parse_func::writesFPRs(unsigned level) {
54     
55     using namespace Dyninst::InstructionAPI;
56     // Oh, we should be parsed by now...
57     if (!parsed()) image_->analyzeIfNeeded();
58
59     if (containsFPRWrites_ == unknown) {
60         // Iterate down and find out...
61         // We know if we have callees because we can
62         // check the instPoints; no reason to iterate over.
63         // We also cache callee values here for speed.
64
65         if (level >= 3) {
66             return true; // Arbitrarily decided level 3 iteration.
67         }        
68         const Function::edgelist & calls = callEdges();
69         Function::edgelist::const_iterator cit = calls.begin();
70         for( ; cit != calls.end(); ++cit) {
71             image_edge * ce = static_cast<image_edge*>(*cit);
72             parse_func * ct = static_cast<parse_func*>(
73                 obj()->findFuncByEntry(region(),ce->trg()->start()));
74             if(ct && ct != this) {
75                 if (ct->writesFPRs(level+1)) {
76                     // One of our kids does... if we're top-level, cache it; in 
77                     // any case, return
78                     if (level == 0)
79                         containsFPRWrites_ = used;
80                     return true;
81                 }
82             }
83             else if(!ct){
84                 // Indirect call... oh, yeah. 
85                 if (level == 0)
86                     containsFPRWrites_ = used;
87                 return true;
88             }
89         }
90
91         // No kids contain writes. See if our code does.
92         static RegisterAST::Ptr st0(new RegisterAST(x86::st0));
93         static RegisterAST::Ptr st1(new RegisterAST(x86::st1));
94         static RegisterAST::Ptr st2(new RegisterAST(x86::st2));
95         static RegisterAST::Ptr st3(new RegisterAST(x86::st3));
96         static RegisterAST::Ptr st4(new RegisterAST(x86::st4));
97         static RegisterAST::Ptr st5(new RegisterAST(x86::st5));
98         static RegisterAST::Ptr st6(new RegisterAST(x86::st6));
99         static RegisterAST::Ptr st7(new RegisterAST(x86::st7));
100         static RegisterAST::Ptr xmm0(new RegisterAST(x86::xmm0));
101         static RegisterAST::Ptr xmm1(new RegisterAST(x86::xmm1));
102         static RegisterAST::Ptr xmm2(new RegisterAST(x86::xmm2));
103         static RegisterAST::Ptr xmm3(new RegisterAST(x86::xmm3));
104         static RegisterAST::Ptr xmm4(new RegisterAST(x86::xmm4));
105         static RegisterAST::Ptr xmm5(new RegisterAST(x86::xmm5));
106         static RegisterAST::Ptr xmm6(new RegisterAST(x86::xmm6));
107         static RegisterAST::Ptr xmm7(new RegisterAST(x86::xmm7));
108
109         vector<FuncExtent *>::const_iterator eit = extents().begin();
110         for( ; eit != extents().end(); ++eit) {
111             FuncExtent * fe = *eit;
112         
113             const unsigned char* buf = (const unsigned char*)
114                 isrc()->getPtrToInstruction(fe->start());
115             if(!buf) {
116                 parsing_printf("%s[%d]: failed to get insn ptr at %lx\n",
117                     FILE__, __LINE__,fe->start());
118                 // if the function cannot be parsed, it is only safe to 
119                 // assume that the FPRs are written -- mcnulty
120                 return true; 
121             }
122             InstructionDecoder d(buf,fe->end()-fe->start(),isrc()->getArch());
123             Instruction::Ptr i;
124
125             while(i = d.decode()) {
126                 if(i->isWritten(st0) ||
127                     i->isWritten(st1) ||
128                     i->isWritten(st2) ||
129                     i->isWritten(st3) ||
130                     i->isWritten(st4) ||
131                     i->isWritten(st5) ||
132                     i->isWritten(st6) ||
133                     i->isWritten(st7) ||
134                    i->isWritten(xmm0) ||
135                    i->isWritten(xmm1) ||
136                    i->isWritten(xmm2) ||
137                    i->isWritten(xmm3) ||
138                    i->isWritten(xmm4) ||
139                    i->isWritten(xmm5) ||
140                    i->isWritten(xmm6) ||
141                    i->isWritten(xmm7)
142                   )
143                 {
144                     containsFPRWrites_ = used;
145                     return true;
146                 }
147             }
148         }
149         // No kids do, and we don't. Impressive.
150         containsFPRWrites_ = unused;
151         return false;
152     }
153     else if (containsFPRWrites_ == used) {
154         return true;
155     }
156     else if (containsFPRWrites_ == unused) {
157         return false;
158     }
159
160     fprintf(stderr, "ERROR: function %s, containsFPRWrites_ is %d (illegal value!)\n", 
161             symTabName().c_str(), containsFPRWrites_);
162     
163     assert(0);
164     return false;
165 }
166
167 #if defined(os_linux) || defined(os_freebsd)
168
169 #include "binaryEdit.h"
170 #include "addressSpace.h"
171 #include "function.h"
172 #include "baseTramp.h"
173 #include "image.h"
174
175 using namespace Dyninst::SymtabAPI;
176
177 /*
178  * Static binary rewriting support
179  *
180  * Some of the following functions replace the standard ctor and dtor handlers
181  * in a binary. Currently, these operations only work with binaries linked with
182  * the GNU toolchain. However, it should be straightforward to extend these
183  * operations to other toolchains.
184  */
185 static const std::string LIBC_CTOR_HANDLER("__do_global_ctors_aux");
186 static const std::string LIBC_DTOR_HANDLER("__do_global_dtors_aux");
187 static const std::string DYNINST_CTOR_HANDLER("DYNINSTglobal_ctors_handler");
188 static const std::string DYNINST_CTOR_LIST("DYNINSTctors_addr");
189 static const std::string DYNINST_DTOR_HANDLER("DYNINSTglobal_dtors_handler");
190 static const std::string DYNINST_DTOR_LIST("DYNINSTdtors_addr");
191 static const std::string SYMTAB_CTOR_LIST_REL("__SYMTABAPI_CTOR_LIST__");
192 static const std::string SYMTAB_DTOR_LIST_REL("__SYMTABAPI_DTOR_LIST__");
193 static const std::string LIBC_IREL_HANDLER("__libc_csu_irel");
194 static const std::string DYNINST_IREL_HANDLER("DYNINSTglobal_irel_handler");
195 static const std::string DYNINST_IREL_START("DYNINSTirel_start");
196 static const std::string DYNINST_IREL_END("DYNINSTirel_end");
197 static const std::string SYMTAB_IREL_START("__SYMTABAPI_IREL_START__");
198 static const std::string SYMTAB_IREL_END("__SYMTABAPI_IREL_END__");
199
200
201 static bool replaceHandler(func_instance *origHandler, func_instance *newHandler, 
202                            std::vector<std::pair<int_symbol *, std::string> > &reloc_replacements) {
203     // Add instrumentation to replace the function
204    // TODO: this should be a function replacement!
205    // And why the hell is it in parse-x86.C?
206    origHandler->proc()->replaceFunction(origHandler, newHandler);
207    AddressSpace::patch(origHandler->proc());
208
209    for (auto iter = reloc_replacements.begin(); iter != reloc_replacements.end(); ++iter) {
210      int_symbol *newList = iter->first;
211      std::string listRelName = iter->second;
212
213      /* create the special relocation for the new list -- search the RT library for
214       * the symbol
215       */
216      Symbol *newListSym = const_cast<Symbol *>(newList->sym());
217      
218      std::vector<Region *> allRegions;
219      if( !newListSym->getSymtab()->getAllRegions(allRegions) ) {
220        return false;
221      }
222      
223      std::vector<Region *>::iterator reg_it;
224      bool found = false;
225      for(reg_it = allRegions.begin(); reg_it != allRegions.end(); ++reg_it) {
226        std::vector<relocationEntry> &region_rels = (*reg_it)->getRelocations();
227        vector<relocationEntry>::iterator rel_it;
228        for( rel_it = region_rels.begin(); rel_it != region_rels.end(); ++rel_it) {
229          if( rel_it->getDynSym() == newListSym ) {
230            relocationEntry *rel = &(*rel_it);
231            rel->setName(listRelName);
232            found = true;
233          }
234        }
235      }
236      if (!found) {
237        return false;
238      }
239    }
240
241    return true;
242 }
243
244
245 static bool replaceHandler(func_instance *origHandler, func_instance *newHandler,
246                            int_symbol *sym, std::string name) {
247   std::vector<std::pair<int_symbol *, std::string> > tmp;
248   tmp.push_back(make_pair(sym, name));
249   return replaceHandler(origHandler, newHandler, tmp);
250 }
251
252 bool BinaryEdit::doStaticBinarySpecialCases() {
253     Symtab *origBinary = mobj->parse_img()->getObject();
254
255     /* Special Case 1: Handling global constructor and destructor Regions
256      *
257      * Replace global ctors function with special ctors function,
258      * and create a special relocation for the ctors list used by the special
259      * ctors function
260      *
261      * Replace global dtors function with special dtors function,
262      * and create a special relocation for the dtors list used by the special
263      * dtors function
264      */
265
266     // First, find all the necessary symbol info.
267     func_instance *globalCtorHandler = mobj->findGlobalConstructorFunc(LIBC_CTOR_HANDLER);
268     if( !globalCtorHandler ) {
269         logLine("failed to find libc constructor handler\n");
270         return false;
271     }
272
273     func_instance *dyninstCtorHandler = findOnlyOneFunction(DYNINST_CTOR_HANDLER);
274     if( !dyninstCtorHandler ) {
275         logLine("failed to find Dyninst constructor handler\n");
276         return false;
277     }
278
279     func_instance *globalDtorHandler = mobj->findGlobalDestructorFunc(LIBC_DTOR_HANDLER);
280     if( !globalDtorHandler ) {
281         logLine("failed to find libc destructor handler\n");
282         return false;
283     }
284
285     func_instance *dyninstDtorHandler = findOnlyOneFunction(DYNINST_DTOR_HANDLER);
286     if( !dyninstDtorHandler ) {
287         logLine("failed to find Dyninst destructor handler\n");
288         return false;
289     }
290
291     int_symbol ctorsListInt;
292     int_symbol dtorsListInt;
293     bool ctorFound = false, dtorFound = false; 
294     std::vector<BinaryEdit *>::iterator rtlib_it;
295     for(rtlib_it = rtlib.begin(); rtlib_it != rtlib.end(); ++rtlib_it) {
296         if( (*rtlib_it)->getSymbolInfo(DYNINST_CTOR_LIST, ctorsListInt) ) {
297             ctorFound = true;
298             if( dtorFound ) break;
299         }
300
301         if( (*rtlib_it)->getSymbolInfo(DYNINST_DTOR_LIST, dtorsListInt) ) {
302             dtorFound = true;
303             if( ctorFound ) break;
304         }
305     }
306
307     if( !ctorFound ) {
308          logLine("failed to find ctors list symbol\n");
309          return false;
310     }
311
312     if( !dtorFound ) {
313         logLine("failed to find dtors list symbol\n");
314         return false;
315     }
316
317     /*
318      * Replace the libc ctor and dtor handlers with our special handlers
319      */
320     if( !replaceHandler(globalCtorHandler, dyninstCtorHandler,
321                 &ctorsListInt, SYMTAB_CTOR_LIST_REL) ) {
322         logLine("Failed to replace libc ctor handler with special handler");
323         return false;
324     }else{
325         inst_printf("%s[%d]: replaced ctor function %s with %s\n",
326                 FILE__, __LINE__, LIBC_CTOR_HANDLER.c_str(),
327                 DYNINST_CTOR_HANDLER.c_str());
328     }
329
330     if( !replaceHandler(globalDtorHandler, dyninstDtorHandler,
331                 &dtorsListInt, SYMTAB_DTOR_LIST_REL) ) {
332         logLine("Failed to replace libc dtor handler with special handler");
333         return false;
334     }else{
335         inst_printf("%s[%d]: replaced dtor function %s with %s\n",
336                 FILE__, __LINE__, LIBC_DTOR_HANDLER.c_str(),
337                 DYNINST_DTOR_HANDLER.c_str());
338     }
339
340     /*
341      * Replace the irel handler with our extended version, since they
342      * hard-code ALL THE OFFSETS in the function
343      */
344     func_instance *globalIrelHandler = findOnlyOneFunction(LIBC_IREL_HANDLER);
345     func_instance *dyninstIrelHandler = findOnlyOneFunction(DYNINST_IREL_HANDLER);
346     int_symbol irelStart;
347     int_symbol irelEnd;
348     bool irs_found = false;
349     bool ire_found = false;
350     for (auto iter = rtlib.begin(); iter != rtlib.end(); ++iter) {
351       if( (*rtlib_it)->getSymbolInfo(DYNINST_IREL_START, irelStart) ) {
352         irs_found = true;
353       }
354       
355       if( (*rtlib_it)->getSymbolInfo(DYNINST_IREL_END, irelEnd) ) {
356         ire_found = true;
357       }
358       if (irs_found && ire_found) break;
359     }
360     if (globalIrelHandler) {
361       assert(dyninstIrelHandler);
362       assert(irs_found);
363       assert(ire_found);
364       std::vector<std::pair<int_symbol *, string> > tmp;
365       tmp.push_back(make_pair(&irelStart, SYMTAB_IREL_START));
366       tmp.push_back(make_pair(&irelEnd, SYMTAB_IREL_END));
367       if (!replaceHandler(globalIrelHandler, dyninstIrelHandler, tmp)) {
368         return false;
369       }
370     }
371
372
373     /*
374      * Special Case 2: Issue a warning if attempting to link pthreads into a binary
375      * that originally did not support it or into a binary that is stripped. This
376      * scenario is not supported with the initial release of the binary rewriter for
377      * static binaries.
378      *
379      * The other side of the coin, if working with a binary that does have pthreads
380      * support, pthreads needs to be loaded.
381      */
382     bool isMTCapable = isMultiThreadCapable();
383     bool foundPthreads = false;
384
385     vector<Archive *> libs;
386     vector<Archive *>::iterator libIter;
387     if( origBinary->getLinkingResources(libs) ) {
388         for(libIter = libs.begin(); libIter != libs.end(); ++libIter) {
389             if( (*libIter)->name().find("libpthread") != std::string::npos ||
390                 (*libIter)->name().find("libthr") != std::string::npos ) 
391             {
392                 foundPthreads = true;
393                 break;
394             }
395         }
396     }
397
398     if( foundPthreads && (!isMTCapable || origBinary->isStripped()) ) {
399         fprintf(stderr,
400             "\nWARNING: the pthreads library has been loaded and\n"
401             "the original binary is not multithread-capable or\n"
402             "it is stripped. Currently, the combination of these two\n"
403             "scenarios is unsupported and unexpected behavior may occur.\n");
404     }else if( !foundPthreads && isMTCapable ) {
405         fprintf(stderr,
406             "\nWARNING: the pthreads library has not been loaded and\n"
407             "the original binary is multithread-capable. Unexpected\n"
408             "behavior may occur because some pthreads routines are\n"
409             "unavailable in the original binary\n");
410     }
411
412     /* 
413      * Special Case 3:
414      * The RT library has some dependencies -- Symtab always needs to know
415      * about these dependencies. So if the dependencies haven't already been
416      * loaded, load them.
417      */
418     bool loadLibc = true;
419
420     for(libIter = libs.begin(); libIter != libs.end(); ++libIter) {
421         if( (*libIter)->name().find("libc.a") != std::string::npos ) {
422             loadLibc = false;
423         }
424     }
425
426     if( loadLibc ) {
427        std::map<std::string, BinaryEdit *> res;
428        openResolvedLibraryName("libc.a", res);
429
430        if (res.empty()) {
431          cerr << "Fatal error: failed to load DyninstAPI_RT library dependency (libc.a)" << endl;
432          return false;
433        }
434
435        std::map<std::string, BinaryEdit *>::iterator bedit_it;
436        for(bedit_it = res.begin(); bedit_it != res.end(); ++bedit_it) {
437           if( bedit_it->second == NULL ) {
438             cerr << "Fatal error: failed to load DyninstAPI_RT library dependency (libc.a)" << endl;
439             return false;
440           }
441        }
442     }
443     
444     return true;
445 }
446
447 func_instance *mapped_object::findGlobalConstructorFunc(const std::string &ctorHandler) {
448     using namespace Dyninst::InstructionAPI;
449
450     const pdvector<func_instance *> *funcs = findFuncVectorByMangled(ctorHandler);
451     if( funcs != NULL ) {
452         return funcs->at(0);
453     }
454
455     /* If the symbol isn't found, try looking for it in a call instruction in
456      * the .init section
457      *
458      * On Linux, the instruction sequence is:
459      * ...
460      * some instructions
461      * ...
462      * call call_gmon_start
463      * call frame_dummy
464      * call ctor_handler
465      *
466      * On FreeBSD, the instruction sequence is:
467      * ...
468      * some instructions
469      * ...
470      * call frame_dummy
471      * call ctor_handler
472      */
473     Symtab *linkedFile = parse_img()->getObject();
474     Region *initRegion = NULL;
475     if( !linkedFile->findRegion(initRegion, ".init") ) {
476         vector<Dyninst::SymtabAPI::Function *> symFuncs;
477         if( linkedFile->findFunctionsByName(symFuncs, "_init") ) {
478             initRegion = symFuncs[0]->getRegion();
479         }else{
480             logLine("failed to locate .init Region or _init function\n");
481             return NULL;
482         }
483     }
484
485     if( initRegion == NULL ) {
486         logLine("failed to locate .init Region or _init function\n");
487         return NULL;
488     }
489
490     // Search for last of a fixed number of calls
491 #if defined(os_freebsd)
492     const unsigned CTOR_NUM_CALLS = 2;
493 #else
494     const unsigned CTOR_NUM_CALLS = 3;
495 #endif
496
497     Address ctorAddress = 0;
498     unsigned bytesSeen = 0;
499     unsigned numCalls = 0;
500     const unsigned char *p = reinterpret_cast<const unsigned char *>(initRegion->getPtrToRawData());
501
502     InstructionDecoder decoder(p, initRegion->getDiskSize(),
503         parse_img()->codeObject()->cs()->getArch()); 
504
505     Instruction::Ptr curInsn = decoder.decode();
506     while(numCalls < CTOR_NUM_CALLS && curInsn && curInsn->isValid() &&
507           bytesSeen < initRegion->getDiskSize()) 
508     {
509         InsnCategory category = curInsn->getCategory();
510         if( category == c_CallInsn ) {
511             numCalls++;
512         }
513         if( numCalls < CTOR_NUM_CALLS ) {
514             bytesSeen += curInsn->size();
515             curInsn = decoder.decode();
516         }
517     }
518
519     if( numCalls != CTOR_NUM_CALLS ) {
520         logLine("heuristic for finding global constructor function failed\n");
521         return NULL;
522     }
523
524     Address callAddress = initRegion->getMemOffset() + bytesSeen;
525
526     RegisterAST thePC = RegisterAST(
527         Dyninst::MachRegister::getPC(parse_img()->codeObject()->cs()->getArch()));
528
529     Expression::Ptr callTarget = curInsn->getControlFlowTarget();
530     if( !callTarget.get() ) {
531         logLine("failed to find global constructor function\n");
532         return NULL;
533     }
534     callTarget->bind(&thePC, Result(s64, callAddress));
535
536     Result actualTarget = callTarget->eval();
537     if( actualTarget.defined ) {
538         ctorAddress = actualTarget.convert<Address>();
539     }else{
540         logLine("failed to find global constructor function\n");
541         return NULL;
542     }
543
544     if( !ctorAddress || !parse_img()->codeObject()->cs()->isValidAddress(ctorAddress) ) {
545         logLine("invalid address for global constructor function\n");
546         return NULL;
547     }
548
549     func_instance *ret;
550     if( (ret = findFuncByEntry(ctorAddress)) == NULL ) {
551         logLine("unable to create representation for global constructor function\n");
552         return NULL;
553     }
554
555     inst_printf("%s[%d]: set global constructor address to 0x%lx\n", FILE__, __LINE__,
556             ctorAddress);
557
558     return ret;
559 }
560
561 func_instance *mapped_object::findGlobalDestructorFunc(const std::string &dtorHandler) {
562     using namespace Dyninst::InstructionAPI;
563
564     const pdvector<func_instance *> *funcs = findFuncVectorByMangled(dtorHandler);
565     if( funcs != NULL ) {
566         return funcs->at(0);
567     }
568
569     /*
570      * If the symbol isn't found, try looking for it in a call in the
571      * .fini section. It is the last call in .fini.
572      *
573      * The pattern is:
574      *
575      * _fini:
576      *
577      * ... some code ...
578      *
579      * call dtor_handler
580      *
581      * ... prologue ...
582      */
583     Symtab *linkedFile = parse_img()->getObject();
584     Region *finiRegion = NULL;
585     if( !linkedFile->findRegion(finiRegion, ".fini") ) {
586         vector<Dyninst::SymtabAPI::Function *> symFuncs;
587         if( linkedFile->findFunctionsByName(symFuncs, "_fini") ) {
588             finiRegion = symFuncs[0]->getRegion();
589         }else{
590             logLine("failed to locate .fini Region or _fini function\n");
591             return NULL;
592         }
593     }
594
595     if( finiRegion == NULL ) {
596         logLine("failed to locate .fini Region or _fini function\n");
597         return NULL;
598     }
599
600     // Search for last call in the function
601     Address dtorAddress = 0;
602     unsigned bytesSeen = 0;
603     const unsigned char *p = reinterpret_cast<const unsigned char *>(finiRegion->getPtrToRawData());
604
605     InstructionDecoder decoder(p, finiRegion->getDiskSize(),
606         parse_img()->codeObject()->cs()->getArch());
607
608     Instruction::Ptr lastCall;
609     Instruction::Ptr curInsn = decoder.decode();
610
611     while(curInsn && curInsn->isValid() &&
612           bytesSeen < finiRegion->getDiskSize()) 
613     {
614         InsnCategory category = curInsn->getCategory();
615         if( category == c_CallInsn ) {
616             lastCall = curInsn;
617             break;
618         }
619
620         bytesSeen += curInsn->size();
621         curInsn = decoder.decode();
622     }
623
624     if( !lastCall.get() || !lastCall->isValid() ) {
625         logLine("heuristic for finding global destructor function failed\n");
626         return NULL;
627     }
628
629     Address callAddress = finiRegion->getMemOffset() + bytesSeen;
630
631     RegisterAST thePC = RegisterAST(
632         Dyninst::MachRegister::getPC(parse_img()->codeObject()->cs()->getArch()));
633
634     Expression::Ptr callTarget = lastCall->getControlFlowTarget();
635     if( !callTarget.get() ) {
636         logLine("failed to find global destructor function\n");
637         return NULL;
638     }
639     callTarget->bind(&thePC, Result(s64, callAddress));
640
641     Result actualTarget = callTarget->eval();
642     if( actualTarget.defined ) {
643         dtorAddress = actualTarget.convert<Address>();
644     }else{
645         logLine("failed to find global destructor function\n");
646         return NULL;
647     }
648
649     if( !dtorAddress || !parse_img()->codeObject()->cs()->isValidAddress(dtorAddress) ) {
650         logLine("invalid address for global destructor function\n");
651         return NULL;
652     }
653
654     // A targ stub should have been created at the address
655     func_instance *ret = NULL;
656     if( (ret = findFuncByEntry(dtorAddress)) == NULL ) {
657         logLine("unable to find global destructor function\n");
658         return NULL;
659     }
660     inst_printf("%s[%d]: set global destructor address to 0x%lx\n", FILE__, __LINE__,
661             dtorAddress);
662
663     return ret;
664 }
665
666
667 #endif