00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #include <assert.h>
00024 #include <iomanip>
00025 #include <sstream>
00026 #if defined(_MSC_VER) && _MSC_VER <= 1200
00027 #pragma warning(disable:4786)
00028 #endif
00029
00030 #include "exp.h"
00031 #include "register.h"
00032 #include "rtl.h"
00033 #include "cfg.h"
00034 #include "proc.h"
00035 #include "prog.h"
00036 #include "decoder.h"
00037 #include "ppcdecoder.h"
00038 #include "BinaryFile.h"
00039 #include "frontend.h"
00040 #include "ppcfrontend.h"
00041 #include "BinaryFile.h"
00042 #include "boomerang.h"
00043 #include "signature.h"
00044
00045 PPCFrontEnd::PPCFrontEnd(BinaryFile *pBF, Prog* prog, BinaryFileFactory* pbff) : FrontEnd(pBF, prog, pbff)
00046 {
00047 decoder = new PPCDecoder(prog);
00048 }
00049
00050
00051
00052 PPCFrontEnd::~PPCFrontEnd()
00053 {
00054 }
00055
00056
00057 std::vector<Exp*> &PPCFrontEnd::getDefaultParams()
00058 {
00059 static std::vector<Exp*> params;
00060 if (params.size() == 0) {
00061 for (int r=31; r>=0; r--) {
00062 params.push_back(Location::regOf(r));
00063 }
00064 }
00065 return params;
00066 }
00067
00068 std::vector<Exp*> &PPCFrontEnd::getDefaultReturns()
00069 {
00070 static std::vector<Exp*> returns;
00071 if (returns.size() == 0) {
00072 for (int r=31; r>=0; r--) {
00073 returns.push_back(Location::regOf(r));
00074 }
00075
00076 }
00077 return returns;
00078 }
00079
00080 ADDRESS PPCFrontEnd::getMainEntryPoint( bool &gotMain )
00081 {
00082 gotMain = true;
00083 ADDRESS start = pBF->GetMainEntryPoint();
00084 if( start != NO_ADDRESS ) return start;
00085
00086 start = pBF->GetEntryPoint();
00087 gotMain = false;
00088 if( start == NO_ADDRESS ) return NO_ADDRESS;
00089
00090 gotMain = true;
00091 return start;
00092 }
00093
00094
00095 bool PPCFrontEnd::processProc(ADDRESS uAddr, UserProc* pProc, std::ofstream &os, bool frag ,
00096 bool spec ) {
00097
00098
00099 if (!FrontEnd::processProc(uAddr, pProc, os, frag, spec))
00100 return false;
00101
00102 pProc->setEntryBB();
00103
00104 return true;
00105 }