-
Notifications
You must be signed in to change notification settings - Fork 10
Expand file tree
/
Copy pathtaint.h
More file actions
20 lines (19 loc) · 783 Bytes
/
taint.h
File metadata and controls
20 lines (19 loc) · 783 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#include "pin.H"
#include <sys/types.h>
void addRegisterTaint(REG);
void removeRegisterTaint(REG);
void addMemoryTaint(UINT64);
void removeMemoryTaint(UINT64);
bool isRegisterTainted(REG);
bool isMemoryTainted(UINT64);
std::string printTaint();
std::string getConstraints();
std::string getRegID(REG);
std::string getMemID(UINT64);
void addExternalTaint(UINT64, UINT64);
void taintMemToReg(CONTEXT*, UINT64, std::string, UINT64, REG, UINT32);
void taintRegToMem(CONTEXT*, UINT64, std::string, REG, UINT64, UINT32);
void taintRegToReg(CONTEXT*, UINT64, std::string, REG, REG);
void taintRegConstantToReg(CONTEXT*, UINT64, std::string, REG, ADDRINT, REG);
void taintConstantToReg(CONTEXT*, UINT64, std::string, REG);
void taintReg2ToReg(CONTEXT*, UINT64, std::string, REG, REG, REG);