~ubuntu-branches/debian/experimental/apparmor/experimental

« back to all changes in this revision

Viewing changes to .pc/0101-declarations.patch/parser/parser_variable.c

  • Committer: Bazaar Package Importer
  • Author(s): Kees Cook
  • Date: 2011-05-01 19:29:07 UTC
  • Revision ID: james.westby@ubuntu.com-20110501192907-49snsnhfzlej5i71
Tags: 2.6.1-3
* debian/control: add sneaky missing Build-Dep on liblocale-gettext-perl
  (fixes FTBFS on some extremely minimal chroots, Closes: 624566).
* debian/patches/0101-declarations.patch: add missing declarations needed
  for sensitive compilers (fixes FTBFS on mips/mipsel).
* debian/patches/0102-manpage-release-name.patch: update manpage release
  names to match others.
* debian/patches/0103-kfreebsd-compile.patch, debian/{control,rules}:
  attempt to build as much as possible (no parser) on non-Linux systems.
* debian/po/ru.po: add translation, thanks to Yuri Kozlov (Closes: 624741).

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
/*
 
2
 *   Copyright (c) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007
 
3
 *   NOVELL (All rights reserved)
 
4
 *
 
5
 *   This program is free software; you can redistribute it and/or
 
6
 *   modify it under the terms of version 2 of the GNU General Public
 
7
 *   License published by the Free Software Foundation.
 
8
 *
 
9
 *   This program is distributed in the hope that it will be useful,
 
10
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 
11
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
12
 *   GNU General Public License for more details.
 
13
 *
 
14
 *   You should have received a copy of the GNU General Public License
 
15
 *   along with this program; if not, contact Novell, Inc.
 
16
 */
 
17
 
 
18
#include <ctype.h>
 
19
#include <stdlib.h>
 
20
#include <stdio.h>
 
21
#include <stdarg.h>
 
22
#include <string.h>
 
23
#include <libintl.h>
 
24
#include <linux/limits.h>
 
25
 
 
26
#define _(s) gettext(s)
 
27
 
 
28
/* #define DEBUG */
 
29
 
 
30
#include "parser.h"
 
31
 
 
32
static inline char *get_var_end(char *var)
 
33
{
 
34
        char *eptr = var;
 
35
 
 
36
        while (*eptr) {
 
37
                if (*eptr == '}')
 
38
                        return eptr;
 
39
                if (!(*eptr == '_' || isalpha(*eptr)))
 
40
                        return NULL; /* invalid char */
 
41
                eptr++;
 
42
        }
 
43
        return NULL; /* no terminating '}' */
 
44
}
 
45
 
 
46
static struct var_string *split_string(char *string, char *var_begin,
 
47
                                       char *var_end)
 
48
{
 
49
        struct var_string *new = calloc(1, sizeof(struct var_string));
 
50
        unsigned int offset = strlen("@{");
 
51
        if (!new) {
 
52
                PERROR("Memory allocation error\n");
 
53
                return NULL;
 
54
        }
 
55
 
 
56
        if (var_begin != string) {
 
57
                new->prefix = strndup(string, var_begin - string);
 
58
        }
 
59
 
 
60
        new->var = strndup(var_begin + offset, var_end - (var_begin + offset));
 
61
 
 
62
        if (strlen(var_end + 1) != 0) {
 
63
                new->suffix = strdup(var_end + 1);
 
64
        }
 
65
 
 
66
        return new;
 
67
}
 
68
 
 
69
struct var_string *split_out_var(char *string)
 
70
{
 
71
        struct var_string *new = NULL;
 
72
        char *sptr;
 
73
        BOOL bEscape = 0;       /* flag to indicate escape */
 
74
 
 
75
        if (!string)            /* shouldn't happen */
 
76
                return NULL;
 
77
 
 
78
        sptr = string;
 
79
 
 
80
        while (!new && *sptr) {
 
81
                switch (*sptr) {
 
82
                case '\\':
 
83
                        if (bEscape) {
 
84
                                bEscape = FALSE;
 
85
                        } else {
 
86
                                bEscape = TRUE;
 
87
                        }
 
88
                        break;
 
89
                case '@':
 
90
                        if (bEscape) {
 
91
                                bEscape = FALSE;
 
92
                        } else if (*(sptr + 1) == '{') {
 
93
                                char *eptr = get_var_end(sptr + 2);
 
94
                                if (!eptr)
 
95
                                        break; /* no variable end found */
 
96
                                if (eptr == sptr + 2) {
 
97
                                        /* XXX - better diagnostics here, please */
 
98
                                        PERROR("Empty variable name found!\n");
 
99
                                        exit(1);
 
100
                                }
 
101
                                new = split_string(string, sptr, eptr);
 
102
                        }
 
103
                        break;
 
104
                default:
 
105
                        if (bEscape)
 
106
                                bEscape = FALSE;
 
107
                }
 
108
                sptr++;
 
109
        }
 
110
 
 
111
        return new;
 
112
}
 
113
 
 
114
void free_var_string(struct var_string *var)
 
115
{
 
116
        if (!var)
 
117
                return;
 
118
        if (var->prefix)
 
119
                free(var->prefix);
 
120
        if (var->var)
 
121
                free(var->var);
 
122
        if (var->suffix)
 
123
                free(var->suffix);
 
124
        free(var);
 
125
}
 
126
 
 
127
static int expand_entry_variables(struct cod_entry *entry)
 
128
{
 
129
        struct set_value *valuelist;
 
130
        int ret = TRUE;
 
131
        char *value;
 
132
        struct var_string *split_var;
 
133
 
 
134
        if (!entry)             /* shouldn't happen */
 
135
                return ret;
 
136
 
 
137
        while ((split_var = split_out_var(entry->name))) {
 
138
                valuelist = get_set_var(split_var->var);
 
139
                if (!valuelist) {
 
140
                        int boolean = get_boolean_var(split_var->var);
 
141
                        if (boolean == -1)
 
142
                                PERROR("Found reference to variable %s, but is never declared\n",
 
143
                                       split_var->var);
 
144
                        else
 
145
                                PERROR("Found reference to set variable %s, but declared boolean\n",
 
146
                                       split_var->var);
 
147
                        exit(1);
 
148
                }
 
149
 
 
150
                value = get_next_set_value(&valuelist);
 
151
                if (!value) {
 
152
                        PERROR("ASSERT: set variable (%s) should always have at least one value assigned to them\n",
 
153
                               split_var->var);
 
154
                        exit(1);
 
155
                }
 
156
                free(entry->name);
 
157
                if (asprintf(&(entry->name), "%s%s%s",
 
158
                             split_var->prefix ? split_var->prefix : "",
 
159
                             value,
 
160
                             split_var->suffix ? split_var->suffix : "") == -1)
 
161
                        return FALSE;
 
162
 
 
163
                while ((value = get_next_set_value(&valuelist))) {
 
164
                        struct cod_entry *dupe = copy_cod_entry(entry);
 
165
                        if (!dupe) {
 
166
                                PERROR("Memory allocaton error while handling set variable %s\n",
 
167
                                       split_var->var);
 
168
                                exit(1);
 
169
                        }
 
170
                        entry->next = dupe;
 
171
 
 
172
                        free(entry->name);
 
173
                        if (asprintf(&(entry->name), "%s%s%s",
 
174
                              split_var->prefix ? split_var->prefix : "", value,
 
175
                              split_var->suffix ? split_var->suffix : "") == -1)
 
176
                                return FALSE;
 
177
                }
 
178
 
 
179
                free_var_string(split_var);
 
180
        }
 
181
        return ret;
 
182
}
 
183
 
 
184
static int process_variables_in_entries(struct cod_entry *entry_list)
 
185
{
 
186
        int ret = TRUE, rc;
 
187
        struct cod_entry *entry;
 
188
 
 
189
        list_for_each(entry_list, entry) {
 
190
                rc = expand_entry_variables(entry);
 
191
                if (!rc)
 
192
                        ret = FALSE;
 
193
        }
 
194
 
 
195
        return ret;
 
196
}
 
197
 
 
198
int process_variables(struct codomain *cod)
 
199
{
 
200
        int error = 0;
 
201
 
 
202
        if (!process_variables_in_entries(cod->entries)) {
 
203
                error = -1;
 
204
        }
 
205
 
 
206
        if (process_hat_variables(cod) != 0) {
 
207
                        error = -1;
 
208
        }
 
209
        return error;
 
210
}
 
211
 
 
212
#ifdef UNIT_TEST
 
213
#define MY_TEST(statement, error)               \
 
214
        if (!(statement)) {                     \
 
215
                PERROR("FAIL: %s\n", error);    \
 
216
                rc = 1;                         \
 
217
        }
 
218
 
 
219
/* Guh, fake routine */
 
220
void yyerror(char *msg, ...)
 
221
{
 
222
        va_list arg;
 
223
        char buf[PATH_MAX];
 
224
 
 
225
        va_start(arg, msg);
 
226
        vsnprintf(buf, sizeof(buf), msg, arg);
 
227
        va_end(arg);
 
228
 
 
229
        PERROR(_("AppArmor parser error: %s\n"), buf);
 
230
 
 
231
        exit(1);
 
232
}
 
233
/* Guh, fake symbol */
 
234
char *progname;
 
235
 
 
236
int test_get_var_end(void)
 
237
{
 
238
        int rc = 0;
 
239
        char *retchar;
 
240
        char *testchar;
 
241
 
 
242
        testchar = "TRUE}";
 
243
        retchar = get_var_end(testchar);
 
244
        MY_TEST(retchar - testchar == strlen("TRUE"), "get var end for TRUE}");
 
245
 
 
246
        testchar = "some_var}some other text";
 
247
        retchar = get_var_end(testchar);
 
248
        MY_TEST(retchar - testchar == strlen("some_var"), "get var end for some_var}");
 
249
 
 
250
        testchar = "some_var}some other} text";
 
251
        retchar = get_var_end(testchar);
 
252
        MY_TEST(retchar - testchar == strlen("some_var"), "get var end for some_var} 2");
 
253
 
 
254
        testchar = "FALSE";
 
255
        retchar = get_var_end(testchar);
 
256
        MY_TEST(retchar == NULL, "get var end for FALSE");
 
257
 
 
258
        testchar = "pah,pah}pah ";
 
259
        retchar = get_var_end(testchar);
 
260
        MY_TEST(retchar == NULL, "get var end for pah,pah}");
 
261
 
 
262
        return rc;
 
263
}
 
264
 
 
265
int test_split_string(void)
 
266
{
 
267
        int rc = 0;
 
268
        char *tst_string, *var_start, *var_end;
 
269
        struct var_string *ret_struct;
 
270
        char *prefix = "abcdefg";
 
271
        char *var = "boogie";
 
272
        char *suffix = "suffixication";
 
273
 
 
274
        (void) asprintf(&tst_string, "%s@{%s}%s", prefix, var, suffix);
 
275
        var_start = tst_string + strlen(prefix);
 
276
        var_end = var_start + strlen(var) + strlen("@\{");
 
277
        ret_struct = split_string(tst_string, var_start, var_end);
 
278
        MY_TEST(strcmp(ret_struct->prefix, prefix) == 0, "split string 1 prefix");
 
279
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split string 1 var");
 
280
        MY_TEST(strcmp(ret_struct->suffix, suffix) == 0, "split string 1 suffix");
 
281
        free_var_string(ret_struct);
 
282
 
 
283
        asprintf(&tst_string, "@{%s}%s", var, suffix);
 
284
        var_start = tst_string;
 
285
        var_end = var_start + strlen(var) + strlen("@\{");
 
286
        ret_struct = split_string(tst_string, var_start, var_end);
 
287
        MY_TEST(ret_struct->prefix == NULL, "split string 2 prefix");
 
288
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split string 2 var");
 
289
        MY_TEST(strcmp(ret_struct->suffix, suffix) == 0, "split string 2 suffix");
 
290
        free_var_string(ret_struct);
 
291
 
 
292
        asprintf(&tst_string, "%s@{%s}", prefix, var);
 
293
        var_start = tst_string + strlen(prefix);
 
294
        var_end = var_start + strlen(var) + strlen("@\{");
 
295
        ret_struct = split_string(tst_string, var_start, var_end);
 
296
        MY_TEST(strcmp(ret_struct->prefix, prefix) == 0, "split string 3 prefix");
 
297
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split string 3 var");
 
298
        MY_TEST(ret_struct->suffix == NULL, "split string 3 suffix");
 
299
        free_var_string(ret_struct);
 
300
 
 
301
        asprintf(&tst_string, "@{%s}", var);
 
302
        var_start = tst_string;
 
303
        var_end = var_start + strlen(var) + strlen("@\{");
 
304
        ret_struct = split_string(tst_string, var_start, var_end);
 
305
        MY_TEST(ret_struct->prefix == NULL, "split string 4 prefix");
 
306
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split string 4 var");
 
307
        MY_TEST(ret_struct->suffix == NULL, "split string 4 suffix");
 
308
        free_var_string(ret_struct);
 
309
 
 
310
        return rc;
 
311
}
 
312
 
 
313
int test_split_out_var(void)
 
314
{
 
315
        int rc = 0;
 
316
        char *tst_string, *tmp;
 
317
        struct var_string *ret_struct;
 
318
        char *prefix = "abcdefg";
 
319
        char *var = "boogie";
 
320
        char *suffix = "suffixication";
 
321
 
 
322
        /* simple case */
 
323
        asprintf(&tst_string, "%s@{%s}%s", prefix, var, suffix);
 
324
        ret_struct = split_out_var(tst_string);
 
325
        MY_TEST(strcmp(ret_struct->prefix, prefix) == 0, "split out var 1 prefix");
 
326
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 1 var");
 
327
        MY_TEST(strcmp(ret_struct->suffix, suffix) == 0, "split out var 1 suffix");
 
328
        free_var_string(ret_struct);
 
329
 
 
330
        /* no prefix */
 
331
        asprintf(&tst_string, "@{%s}%s", var, suffix);
 
332
        ret_struct = split_out_var(tst_string);
 
333
        MY_TEST(ret_struct->prefix == NULL, "split out var 2 prefix");
 
334
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 2 var");
 
335
        MY_TEST(strcmp(ret_struct->suffix, suffix) == 0, "split out var 2 suffix");
 
336
        free_var_string(ret_struct);
 
337
 
 
338
        /* no suffix */
 
339
        asprintf(&tst_string, "%s@{%s}", prefix, var);
 
340
        ret_struct = split_out_var(tst_string);
 
341
        MY_TEST(strcmp(ret_struct->prefix, prefix) == 0, "split out var 3 prefix");
 
342
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 3 var");
 
343
        MY_TEST(ret_struct->suffix == NULL, "split out var 3 suffix");
 
344
        free_var_string(ret_struct);
 
345
 
 
346
        /* var only */
 
347
        asprintf(&tst_string, "@{%s}", var);
 
348
        ret_struct = split_out_var(tst_string);
 
349
        MY_TEST(ret_struct->prefix == NULL, "split out var 4 prefix");
 
350
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 4 var");
 
351
        MY_TEST(ret_struct->suffix == NULL, "split out var 4 suffix");
 
352
        free_var_string(ret_struct);
 
353
 
 
354
        /* quoted var, shouldn't split  */
 
355
        asprintf(&tst_string, "%s\\@{%s}%s", prefix, var, suffix);
 
356
        ret_struct = split_out_var(tst_string);
 
357
        MY_TEST(ret_struct == NULL, "split out var - quoted @");
 
358
        free_var_string(ret_struct);
 
359
 
 
360
        /* quoted \, split should succeed */
 
361
        asprintf(&tst_string, "%s\\\\@{%s}%s", prefix, var, suffix);
 
362
        ret_struct = split_out_var(tst_string);
 
363
        MY_TEST(strcmp(ret_struct->prefix, strndup(tst_string, strlen(prefix) + 2)) == 0, "split out var 5 prefix");
 
364
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 5 var");
 
365
        MY_TEST(strcmp(ret_struct->suffix, suffix) == 0, "split out var 5 suffix");
 
366
        free_var_string(ret_struct);
 
367
 
 
368
        /* un terminated var, should fail */
 
369
        asprintf(&tst_string, "%s@{%s%s", prefix, var, suffix);
 
370
        ret_struct = split_out_var(tst_string);
 
371
        MY_TEST(ret_struct == NULL, "split out var - un-terminated var");
 
372
        free_var_string(ret_struct);
 
373
 
 
374
        /* invalid char in var, should fail */
 
375
        asprintf(&tst_string, "%s@{%s^%s}%s", prefix, var, var, suffix);
 
376
        ret_struct = split_out_var(tst_string);
 
377
        MY_TEST(ret_struct == NULL, "split out var - invalid char in var");
 
378
        free_var_string(ret_struct);
 
379
 
 
380
        /* two vars, should only strip out first */
 
381
        asprintf(&tmp, "@{%s}%s}", suffix, suffix);
 
382
        asprintf(&tst_string, "%s@{%s}%s", prefix, var, tmp);
 
383
        ret_struct = split_out_var(tst_string);
 
384
        MY_TEST(strcmp(ret_struct->prefix, prefix) == 0, "split out var 6 prefix");
 
385
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 6 var");
 
386
        MY_TEST(strcmp(ret_struct->suffix, tmp) == 0, "split out var 6 suffix");
 
387
        free_var_string(ret_struct);
 
388
 
 
389
        /* quoted @ followed by var, split should succeed */
 
390
        asprintf(&tst_string, "%s\\@@{%s}%s", prefix, var, suffix);
 
391
        ret_struct = split_out_var(tst_string);
 
392
        MY_TEST(strcmp(ret_struct->prefix, strndup(tst_string, strlen(prefix) + 2)) == 0, "split out var 7 prefix");
 
393
        MY_TEST(strcmp(ret_struct->var, var) == 0, "split out var 7 var");
 
394
        MY_TEST(strcmp(ret_struct->suffix, suffix) == 0, "split out var 7 suffix");
 
395
        free_var_string(ret_struct);
 
396
 
 
397
        return rc;
 
398
}
 
399
int main(void)
 
400
{
 
401
        int rc = 0;
 
402
        int retval;
 
403
 
 
404
        retval = test_get_var_end();
 
405
        if (retval != 0)
 
406
                rc = retval;
 
407
 
 
408
        retval = test_split_string();
 
409
        if (retval != 0)
 
410
                rc = retval;
 
411
 
 
412
        retval = test_split_out_var();
 
413
        if (retval != 0)
 
414
                rc = retval;
 
415
 
 
416
        return rc;
 
417
}
 
418
#endif /* UNIT_TEST */