You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
151 lines
3.8 KiB
151 lines
3.8 KiB
/*
|
|
* Copyright 2002-2019 Intel Corporation.
|
|
*
|
|
* This software is provided to you as Sample Source Code as defined in the accompanying
|
|
* End User License Agreement for the Intel(R) Software Development Products ("Agreement")
|
|
* section 1.L.
|
|
*
|
|
* This software and the related documents are provided as is, with no express or implied
|
|
* warranties, other than those that are expressly stated in the License.
|
|
*/
|
|
|
|
#include <stdio.h>
|
|
#include "pin.H"
|
|
|
|
using std::string;
|
|
|
|
KNOB<string> KnobOutputFile(KNOB_MODE_WRITEONCE, "pintool", "o", "exception_monitor.out", "Output file");
|
|
|
|
FILE * out;
|
|
|
|
void BeforePinVerifyInTry ()
|
|
{
|
|
fprintf(out, "BeforePinVerifyInTry\n");
|
|
fflush (out);
|
|
}
|
|
|
|
void BeforePinVerifyInCatch ()
|
|
{
|
|
fprintf(out, "BeforePinVerifyInCatch\n");
|
|
fflush (out);
|
|
}
|
|
|
|
|
|
void BeforePinVerifyAfterCatch ()
|
|
{
|
|
fprintf(out, "BeforePinVerifyAfterCatch\n");
|
|
fflush (out);
|
|
}
|
|
|
|
|
|
void BeforePinVerifyInDestructor ()
|
|
{
|
|
fprintf(out, "BeforePinVerifyInDestructor\n");
|
|
fflush (out);
|
|
}
|
|
|
|
VOID Fini(INT32 code, VOID *v)
|
|
{
|
|
fprintf(out, "PinFiniFunction\n");
|
|
fclose(out);
|
|
}
|
|
|
|
static void OnException(THREADID threadIndex,
|
|
CONTEXT_CHANGE_REASON reason,
|
|
const CONTEXT *ctxtFrom,
|
|
CONTEXT *ctxtTo,
|
|
INT32 info,
|
|
VOID *v)
|
|
{
|
|
if (reason == CONTEXT_CHANGE_REASON_EXCEPTION)
|
|
{
|
|
UINT32 exceptionCode = info;
|
|
// Depending on the system and CRT version, C++ exceptions can be implemented
|
|
// as kernel- or user-mode- exceptions.
|
|
// This callback does not not intercept user mode exceptions, so we do not
|
|
// log C++ exceptions to avoid difference in output files.
|
|
if ((exceptionCode >= 0xc0000000) && (exceptionCode <= 0xcfffffff))
|
|
{
|
|
fprintf(out, "Start handling exception. Exception code = 0x%x\n", exceptionCode);
|
|
fflush (out);
|
|
}
|
|
}
|
|
}
|
|
|
|
VOID Image(IMG img, VOID *v)
|
|
{
|
|
|
|
// hook the functions in the image. If these functions are called then it means
|
|
// that pin has not lost control.
|
|
RTN rtn = RTN_FindByName(img, "PinVerifyInTry");
|
|
if (RTN_Valid(rtn))
|
|
{
|
|
RTN_Open(rtn);
|
|
RTN_InsertCall(rtn, IPOINT_BEFORE, AFUNPTR(BeforePinVerifyInTry), IARG_END);
|
|
RTN_Close(rtn);
|
|
}
|
|
rtn = RTN_FindByName(img, "PinVerifyInCatch");
|
|
if (RTN_Valid(rtn))
|
|
{
|
|
RTN_Open(rtn);
|
|
RTN_InsertCall(rtn, IPOINT_BEFORE, AFUNPTR(BeforePinVerifyInCatch), IARG_END);
|
|
RTN_Close(rtn);
|
|
}
|
|
rtn = RTN_FindByName(img, "PinVerifyAfterCatch");
|
|
if (RTN_Valid(rtn))
|
|
{
|
|
RTN_Open(rtn);
|
|
RTN_InsertCall(rtn, IPOINT_BEFORE, AFUNPTR(BeforePinVerifyAfterCatch), IARG_END);
|
|
RTN_Close(rtn);
|
|
}
|
|
rtn = RTN_FindByName(img, "PinVerifyInDestructor");
|
|
if (RTN_Valid(rtn))
|
|
{
|
|
RTN_Open(rtn);
|
|
RTN_InsertCall(rtn, IPOINT_BEFORE, AFUNPTR(BeforePinVerifyInDestructor), IARG_END);
|
|
RTN_Close(rtn);
|
|
}
|
|
}
|
|
|
|
VOID UseToolStack()
|
|
{
|
|
UINT32 local = 0;
|
|
local++;
|
|
}
|
|
|
|
VOID Instruction(INS ins, VOID *v)
|
|
{
|
|
INS_InsertCall(ins, IPOINT_BEFORE, (AFUNPTR)UseToolStack, IARG_END);
|
|
|
|
// This is added for regression testing
|
|
// (when executed with win_divide_by_zero_exception application)
|
|
// multiple instrumentations of branch taken
|
|
for(int i = 0; i < 10; i++)
|
|
{
|
|
if (INS_IsValidForIpointTakenBranch(ins))
|
|
{
|
|
INS_InsertPredicatedCall(ins, IPOINT_TAKEN_BRANCH, (AFUNPTR)UseToolStack, IARG_END);
|
|
}
|
|
}
|
|
}
|
|
|
|
int main(INT32 argc, CHAR **argv)
|
|
{
|
|
PIN_InitSymbols();
|
|
PIN_Init(argc, argv);
|
|
|
|
out = fopen(KnobOutputFile.Value().c_str(), "w");
|
|
|
|
INS_AddInstrumentFunction(Instruction, 0);
|
|
PIN_AddContextChangeFunction(OnException, 0);
|
|
|
|
IMG_AddInstrumentFunction(Image, 0);
|
|
|
|
PIN_AddFiniFunction(Fini, 0);
|
|
|
|
// Never returns
|
|
PIN_StartProgram();
|
|
|
|
return 0;
|
|
}
|