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
|
/*
* Example trivial client program that uses the sparse library
* to tokenize, pre-process and parse a C file, and prints out
* the results.
*
* Copyright (C) 2003 Transmeta Corp.
*
* Licensed under the Open Software License version 1.1
*/
#include <stdarg.h>
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <ctype.h>
#include <unistd.h>
#include <fcntl.h>
#include "lib.h"
#include "token.h"
#include "parse.h"
#include "symbol.h"
#include "expression.h"
static unsigned int pre_buffer_size = 0;
static unsigned char pre_buffer[8192];
static void add_pre_buffer(const char *fmt, ...)
{
va_list args;
unsigned int size;
va_start(args, fmt);
size = pre_buffer_size;
size += vsnprintf(pre_buffer + size,
sizeof(pre_buffer) - size,
fmt, args);
pre_buffer_size = size;
va_end(args);
}
static void handle_switch(char *arg)
{
switch (*arg) {
case 'D': {
const char *name = arg+1;
const char *value = "";
for (;;) {
char c;
c = *++arg;
if (!c)
break;
if (isspace(c) || c == '=') {
*arg = '\0';
value = arg+1;
break;
}
}
add_pre_buffer("#define %s %s\n", name, value);
return;
}
case 'I':
add_pre_buffer("#add_include \"%s/\"\n", arg+1);
return;
default:
fprintf(stderr, "unknown switch '%s'\n", arg);
}
}
static void clean_up_symbol(struct symbol *sym, void *_parent, int flags)
{
evaluate_symbol(sym);
}
int main(int argc, char **argv)
{
int i, fd;
char *filename = NULL;
struct token *token;
// Initialize symbol stream first, so that we can add defines etc
init_symbols();
add_pre_buffer("#define __CHECKER__ 1\n");
add_pre_buffer("#nostdinc\n");
add_pre_buffer("#add_include \"/home/torvalds/v2.5/linux/include/\"\n");
add_pre_buffer("#add_include \"/home/torvalds/v2.5/linux/include/asm-i386/mach-default/\"\n");
add_pre_buffer("#add_include \"/home/torvalds/v2.5/linux/arch/i386/mach-default/\"\n");
add_pre_buffer("#add_include \"\"\n");
add_pre_buffer("#define __KERNEL__\n");
add_pre_buffer("#define __GNUC__ 2\n");
add_pre_buffer("#define __GNUC_MINOR__ 95\n");
add_pre_buffer("#define __builtin_constant_p(x) 0\n");
add_pre_buffer("#define __func__ \"function\"\n");
for (i = 1; i < argc; i++) {
char *arg = argv[i];
if (arg[0] == '-') {
handle_switch(arg+1);
continue;
}
filename = arg;
}
fd = open(filename, O_RDONLY);
if (fd < 0)
die("No such file: %s", argv[1]);
// Tokenize the input stream
token = tokenize(filename, fd, NULL);
close(fd);
// Prepend the initial built-in stream
token = tokenize_buffer(pre_buffer, pre_buffer_size, token);
// Pre-process the stream
token = preprocess(token);
// Parse the resulting C code
translation_unit(token, &used_list);
// Do type evaluation and simplify
symbol_iterate(used_list, clean_up_symbol, NULL);
return 0;
}
|
