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.
58 lines
1.3 KiB
58 lines
1.3 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 <iostream>
|
|
#include <stdio.h>
|
|
#include "pin.H"
|
|
using std::endl;
|
|
|
|
UINT64 icount = 0;
|
|
UINT64 error = 0;
|
|
|
|
// check if IARG_IP and INS_Address(ins) are coherent
|
|
VOID CheckSequence(VOID * ip, VOID * insAddr)
|
|
{
|
|
if (ip != insAddr)
|
|
{
|
|
fprintf(stderr,"IP %p, insAddr %p\n", ip, insAddr);
|
|
error++;
|
|
}
|
|
icount++;
|
|
#if 0
|
|
if ((icount % 1000) == 0)
|
|
{
|
|
fprintf(stderr, "%lld instructions checked\n", icount);
|
|
}
|
|
#endif
|
|
}
|
|
|
|
VOID Instruction(INS ins, VOID *v)
|
|
{
|
|
INS_InsertCall(ins, IPOINT_BEFORE, (AFUNPTR)CheckSequence, IARG_INST_PTR, IARG_ADDRINT, INS_Address(ins), IARG_END);
|
|
}
|
|
|
|
VOID Fini(INT32 code, VOID *v)
|
|
{
|
|
std::cerr << error << " errors" << endl;
|
|
}
|
|
|
|
int main(INT32 argc, CHAR **argv)
|
|
{
|
|
PIN_Init(argc, argv);
|
|
INS_AddInstrumentFunction(Instruction, 0);
|
|
PIN_AddFiniFunction(Fini, 0);
|
|
|
|
// Never returns
|
|
PIN_StartProgram();
|
|
|
|
return 0;
|
|
}
|