70 lines
1.4 KiB
C++
70 lines
1.4 KiB
C++
|
#include <cstdlib>
|
||
|
|
#include <cstdio>
|
||
|
|
#include <string>
|
||
|
|
#include <vector>
|
||
|
|
#include <iostream>
|
||
|
|
|
||
|
|
// dyninst libraries
|
||
|
|
|
||
|
|
#include "BPatch.h"
|
||
|
|
#include "BPatch_addressSpace.h"
|
||
|
|
#include "BPatch_process.h"
|
||
|
|
#include "BPatch_function.h"
|
||
|
|
#include "BPatch_point.h"
|
||
|
|
//#include "BPatch_flowGraph.h"
|
||
|
|
|
||
|
|
using namespace std;
|
||
|
|
|
||
|
|
|
||
|
|
BPatch bpatch;
|
||
|
|
|
||
|
|
|
||
|
|
int main(int argc, char **argv)
|
||
|
|
{
|
||
|
|
int pid;
|
||
|
|
BPatch_binaryEdit *app_bin;
|
||
|
|
BPatch_addressSpace *aspace;
|
||
|
|
BPatch_image *image;
|
||
|
|
|
||
|
|
/* // check the options
|
||
|
|
if(argc != 2)
|
||
|
|
{
|
||
|
|
cerr << "ERROR ## Missing command line args. Use PID of the process you want to attach.\n";
|
||
|
|
return 1;
|
||
|
|
}
|
||
|
|
|
||
|
|
pid = atoi(argv[1]);
|
||
|
|
if(pid == 0)
|
||
|
|
{
|
||
|
|
cerr << "ERROR ## Wrong PID " << pid << ", please use another.\n";
|
||
|
|
return 2;
|
||
|
|
}
|
||
|
|
*/
|
||
|
|
// let's go...
|
||
|
|
app_bin = bpatch.openBinary("mutatee");
|
||
|
|
aspace = app_bin;
|
||
|
|
image = aspace->getImage();
|
||
|
|
|
||
|
|
/* BPatch_Set<BPatch_opCode> access_types;
|
||
|
|
access_types.insert(BPatch_opLoad);
|
||
|
|
access_types.insert(BPatch_opStore);
|
||
|
|
*/
|
||
|
|
vector<BPatch_function *> functions, incr_functions;
|
||
|
|
vector<BPatch_point *> *points;
|
||
|
|
image->findFunction("function_name", functions);
|
||
|
|
points = functions[0]->findPoint(BPatch_entry);
|
||
|
|
|
||
|
|
// create snippet
|
||
|
|
image->findFunction("incr", incr_functions);
|
||
|
|
vector<BPatch_snippet *> incr_args;
|
||
|
|
BPatch_funcCallExpr incr_call(*(incr_functions[0]), incr_args);
|
||
|
|
|
||
|
|
aspace->insertSnippet(incr_call, *points);
|
||
|
|
app_bin->writeFile("mutated");
|
||
|
|
|
||
|
|
|
||
|
|
cout << "MUTATION DONE. MUTATOR IS GOING...\n";
|
||
|
|
|
||
|
|
return 0;
|
||
|
|
}
|