Subversion Repositories shark

Rev

Rev 1297 | Go to most recent revision | Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
1296 giacomo 1
/*
2
 * Project: S.Ha.R.K.
3
 *
4
 * Coordinators:
5
 *   Giorgio Buttazzo    <giorgio@sssup.it>
6
 *   Paolo Gai           <pj@gandalf.sssup.it>
7
 *
8
 * Authors     :
9
 *    Giacomo Guidi      <giacomo@gandalf.sssup.it>
10
 *
11
 * ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
12
 *
13
 * http://www.sssup.it
14
 * http://retis.sssup.it
15
 * http://shark.sssup.it
16
 */
17
 
18
#include <stdio.h>
19
#include <unistd.h>
20
#include <stdlib.h>
21
#include <string.h>
22
 
23
#define READ_BUFFER 2000
24
#define DELTA_BUFFER 100
25
 
26
int main(int argc, char *argv[])
27
{
28
 
29
  char buffer[READ_BUFFER+DELTA_BUFFER];
30
  void *p, *last;
31
  int n,i,delta,size;
32
 
33
  FILE *input_file;
34
 
35
  if (argc < 2) {
36
    printf("%s: Enter the input file name [%s filename]\n",argv[0],argv[0]);
37
    exit(1);
38
  }
39
 
40
  input_file = fopen(argv[1],"rb");
41
 
42
  last = buffer + READ_BUFFER;
43
 
44
  while(!feof(input_file)) {
45
 
46
    //move remaining byte
47
    delta = (unsigned int)(buffer) + READ_BUFFER - (unsigned int)(last);
48
    if (delta > 0) memcpy(buffer,last,delta);    
49
 
50
    n = fread(buffer+delta,1,READ_BUFFER-delta,input_file);
51
 
52
    p = buffer;
53
 
54
    while ((unsigned int)p + *(unsigned char *)(p+9) < (unsigned int)(buffer + READ_BUFFER) &&
55
           (unsigned int)p + *(unsigned char *)(p+9) < (unsigned int)(buffer + n)) {
56
 
57
      printf("Type = %02x ",*(unsigned char *)(p));
58
 
59
      printf("TSC = %08x:%08x ",*(unsigned int *)(p+1),*(unsigned int *)(p+5));
60
 
61
      size = *(unsigned char *)(p+9);
62
 
63
      size -= 10;
64
      i = 0;
65
      while (size > 0) {
66
        printf("Par%d = %d ",i,*(unsigned int *)(p+10+i*4));
67
        i++;
68
        size -= 4;
69
      }
70
 
71
      printf("\n");
72
 
73
      last = p;
74
      p += *(unsigned char *)(p+9);
75
 
76
    }
77
 
78
  }
79
 
80
  fclose(input_file);
81
 
82
  return 0;
83
 
84
}
85