forked from binjo/pin-tools
-
Notifications
You must be signed in to change notification settings - Fork 0
/
shellcode.cpp
330 lines (270 loc) · 9.89 KB
/
shellcode.cpp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
#include "pin.H"
#include <iostream>
#include <fstream>
#include <iomanip>
#include <set>
#include <list>
#include <sstream>
/**
* Specifies the maximum number of legit instructions the plugin keeps track of
* before control flow is transferred to the shellcode.
**/
// const unsigned int MAX_LEGIT_INSTRUCTION_LOG_SIZE = 100;
/**
* Keeps track of legit instructions before control flow is transferred to she
* shellcode.
**/
std::list<std::string> legitInstructions;
/**
* Keeps track of disassembled instructions that were already dumped.
**/
std::set<std::string*> dumped;
/**
* Output file the shellcode information is dumped to.
**/
std::ofstream traceFile;
/**
* Command line option to specify the name of the output file.
* Default is shellcode.out.
**/
KNOB<string> outputFile(KNOB_MODE_WRITEONCE, "pintool", "o", "shellcode.out", "specify trace file name");
KNOB<INT32> KnobMaxLegitInsLogSize(KNOB_MODE_WRITEONCE, "pintool",
"max", "100", "specify max instructions size");
KNOB<std::string> KnobModuleConcerned(KNOB_MODE_APPEND, "pintool",
"mc", "", "list of modules for concerned");
typedef std::set<std::string> ImgModlist;
ImgModlist modlist;
typedef std::list<REG> RegList;
/**
* Prints usage information.
**/
INT32 usage()
{
cerr << "This tool produces a call trace." << endl << endl;
cerr << KNOB_BASE::StringKnobSummary() << endl;
return -1;
}
/**
* Determines whether a given address belongs to a known module or not.
**/
bool isUnknownAddress(ADDRINT address)
{
// An address belongs to a known module, if the address belongs to any
// section of any module in the target address space.
for(IMG img=APP_ImgHead(); IMG_Valid(img); img = IMG_Next(img))
{
for(SEC sec=IMG_SecHead(img); SEC_Valid(sec); sec = SEC_Next(sec))
{
if (address >= SEC_Address(sec) && address < SEC_Address(sec) + SEC_Size(sec))
{
return false;
}
}
}
return true;
}
/**
* Given a fully qualified path to a file, this function extracts the raw
* filename and gets rid of the path.
**/
std::string extractFilename(const std::string& filename)
{
unsigned int lastBackslash = filename.rfind("\\");
if (lastBackslash == -1)
{
return filename;
}
else
{
return filename.substr(lastBackslash + 1);
}
}
/**
* Given an address, this function determines the name of the loaded module the
* address belongs to. If the address does not belong to any module, the empty
* string is returned.
**/
std::string getModule(ADDRINT address)
{
// To find the module name of an address, iterate over all sections of all
// modules until a section is found that contains the address.
for(IMG img=APP_ImgHead(); IMG_Valid(img); img = IMG_Next(img))
{
for(SEC sec=IMG_SecHead(img); SEC_Valid(sec); sec = SEC_Next(sec))
{
if (address >= SEC_Address(sec) && address < SEC_Address(sec) + SEC_Size(sec))
{
return extractFilename(IMG_Name(img));
}
}
}
return "";
}
/**
* Converts a PIN instruction object into a disassembled string.
**/
std::string dumpInstruction(INS ins)
{
std::stringstream ss;
ADDRINT address = INS_Address(ins);
// Generate address and module information
ss << "0x" << setfill('0') << setw(8) << uppercase << hex << address << "::" << getModule(address) << " ";
// Generate instruction byte encoding
for (int i=0;i<INS_Size(ins);i++)
{
ss << setfill('0') << setw(2) << (((unsigned int) *(unsigned char*)(address + i)) & 0xFF) << " ";
}
for (int i=INS_Size(ins);i<8;i++)
{
ss << " ";
}
// Generate diassembled string
ss << INS_Disassemble(ins);
// Look up call information for direct calls
if (INS_IsCall(ins) && INS_IsDirectBranchOrCall(ins))
{
ss << " -> " << RTN_FindNameByAddress(INS_DirectBranchOrCallTargetAddress(ins));
}
return ss.str();
}
std::string dumpContext(CONTEXT* ctxt)
{
std::stringstream ss;
ss << "eax = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EAX) << " "
<< "ebx = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EBX) << " "
<< "ecx = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_ECX) << " "
<< "edx = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EDX) << " "
<< "esi = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_ESI) << " "
<< "edi = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EDI) << std::endl
<< "eip = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EIP) << " "
<< "esp = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_ESP) << " "
<< "ebp = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EBP) << " "
<< "eflags = " << setw(8) << hex << PIN_GetContextReg(ctxt, REG_EFLAGS);
return ss.str();
}
/**
* Callback function that is executed every time an instruction identified as
* potential shellcode is executed.
**/
void dump_shellcode(std::string* instructionString, RegList* regs, CONTEXT* ctxt)
{
if (dumped.find(instructionString) != dumped.end())
{
// This check makes sure that an instruction is not dumped twice.
// For a complete run trace it would make sense to dump an instruction
// every time it is executed. However, imagine the shellcode has a
// tight loop that is executed a million times. The resulting log file
// is much easier to read if every instruction is only dumped once.
return;
}
if (!legitInstructions.empty())
{
// If legit instructions have been logged before the shellcode is
// executed, it is now a good time to dump them to the file. This
// information then shows when control flow was transferred from
// legit code to shellcode.
traceFile << endl << "Executed before" << endl;
for (std::list<std::string>::iterator Iter = legitInstructions.begin(); Iter != legitInstructions.end(); ++Iter)
{
traceFile << *Iter << endl;
}
traceFile << endl << "Shellcode:" << endl;
legitInstructions.clear();
}
traceFile << dumpContext(ctxt) << std::endl << *instructionString;
// for ( std::list<REG>::iterator iter = (*regs).begin(); iter != (*regs).end(); ++iter )
// {
// traceFile << REG_StringShort( *iter ) << " = " << PIN_GetContextReg(ctxt, *iter) << " ";
// }
traceFile << std::endl;
dumped.insert(instructionString);
}
/**
* This function is called
**/
void traceInst(INS ins, VOID*)
{
ADDRINT address = INS_Address(ins);
std::string mod_name = getModule( address );
RegList regs;
for ( UINT32 i = 0; i < INS_OperandCount(ins); i++ )
{
if ( INS_OperandIsReg(ins, i) )
{
REG x = INS_OperandReg(ins, i);
if ( x != REG_INVALID() )
regs.push_back( x );
}
}
if (isUnknownAddress(address))
{
// The address is an address that does not belong to any loaded module.
// This is potential shellcode. For these instructions a callback
// function is inserted that dumps information to the trace file when
// the instruction is actually executed.
INS_InsertCall(ins, IPOINT_BEFORE, AFUNPTR(dump_shellcode),
IARG_PTR, new std::string(dumpInstruction(ins)),
IARG_PTR, ®s,
IARG_CONTEXT, IARG_END
);
}
else
{
if ( !modlist.empty() && (modlist.find(mod_name) == modlist.end()) ) // not concerned
return;
// The address is a legit address, meaning it is probably not part of
// any shellcode. In this case we just log the instruction to dump it
// later to show when control flow was transfered from legit code to
// shellcode.
legitInstructions.push_back(dumpInstruction(ins));
if (legitInstructions.size() > KnobMaxLegitInsLogSize.Value())
{
// Log only up to KnobMaxLegitInsLogSize.Value() instructions or the whole
// program before the shellcode will be dumped.
legitInstructions.pop_front();
}
}
}
/**
* Finalizer function that is called at the end of the trace process.
* In this script, the finalizer function is responsible for closing
* the shellcode output file.
**/
VOID fini(INT32, VOID*)
{
if ( dumped.empty() && !legitInstructions.empty() )
{
traceFile << endl << "Executed before" << endl;
for ( std::list<std::string>::iterator Iter = legitInstructions.begin();
Iter != legitInstructions.end(); ++Iter )
{
traceFile << *Iter << endl;
}
}
traceFile << endl << "-- eof --" << endl;
traceFile.close();
}
int main(int argc, char *argv[])
{
PIN_InitSymbols();
if( PIN_Init(argc, argv))
{
return usage();
}
traceFile.open(outputFile.Value().c_str());
string trace_header = string("#\n"
"# Shellcode detector\n"
"#\n\nMAX_LEGIT_INSTRUCTION_LOG_SIZE : ") +
KnobMaxLegitInsLogSize.ValueString() + "\n\n";
for ( UINT32 i = 0; i < KnobModuleConcerned.NumberOfValues(); i++ )
{
LOG( "[+] ... " + KnobModuleConcerned.Value(i) + "\n" );
modlist.insert( KnobModuleConcerned.Value(i) );
}
traceFile.write(trace_header.c_str(), trace_header.size());
INS_AddInstrumentFunction(traceInst, 0);
PIN_AddFiniFunction(fini, 0);
// Never returns
PIN_StartProgram();
return 0;
}