1  | 
     | 
     | 
    /* $OpenBSD: keynote-verify.c,v 1.17 2015/11/19 05:20:19 mmcc Exp $ */  | 
    
    
    2  | 
     | 
     | 
    /*  | 
    
    
    3  | 
     | 
     | 
     * The author of this code is Angelos D. Keromytis (angelos@dsl.cis.upenn.edu)  | 
    
    
    4  | 
     | 
     | 
     *  | 
    
    
    5  | 
     | 
     | 
     * This code was written by Angelos D. Keromytis in Philadelphia, PA, USA,  | 
    
    
    6  | 
     | 
     | 
     * in April-May 1998  | 
    
    
    7  | 
     | 
     | 
     *  | 
    
    
    8  | 
     | 
     | 
     * Copyright (C) 1998, 1999 by Angelos D. Keromytis.  | 
    
    
    9  | 
     | 
     | 
     *  | 
    
    
    10  | 
     | 
     | 
     * Permission to use, copy, and modify this software with or without fee  | 
    
    
    11  | 
     | 
     | 
     * is hereby granted, provided that this entire notice is included in  | 
    
    
    12  | 
     | 
     | 
     * all copies of any software which is or includes a copy or  | 
    
    
    13  | 
     | 
     | 
     * modification of this software.  | 
    
    
    14  | 
     | 
     | 
     *  | 
    
    
    15  | 
     | 
     | 
     * THIS SOFTWARE IS BEING PROVIDED "AS IS", WITHOUT ANY EXPRESS OR  | 
    
    
    16  | 
     | 
     | 
     * IMPLIED WARRANTY. IN PARTICULAR, THE AUTHORS MAKES NO  | 
    
    
    17  | 
     | 
     | 
     * REPRESENTATION OR WARRANTY OF ANY KIND CONCERNING THE  | 
    
    
    18  | 
     | 
     | 
     * MERCHANTABILITY OF THIS SOFTWARE OR ITS FITNESS FOR ANY PARTICULAR  | 
    
    
    19  | 
     | 
     | 
     * PURPOSE.  | 
    
    
    20  | 
     | 
     | 
     */  | 
    
    
    21  | 
     | 
     | 
     | 
    
    
    22  | 
     | 
     | 
    #include <sys/types.h>  | 
    
    
    23  | 
     | 
     | 
    #include <sys/stat.h>  | 
    
    
    24  | 
     | 
     | 
     | 
    
    
    25  | 
     | 
     | 
    #include <ctype.h>  | 
    
    
    26  | 
     | 
     | 
    #include <fcntl.h>  | 
    
    
    27  | 
     | 
     | 
    #include <getopt.h>  | 
    
    
    28  | 
     | 
     | 
    #include <regex.h>  | 
    
    
    29  | 
     | 
     | 
    #include <stdio.h>  | 
    
    
    30  | 
     | 
     | 
    #include <stdlib.h>  | 
    
    
    31  | 
     | 
     | 
    #include <string.h>  | 
    
    
    32  | 
     | 
     | 
    #include <unistd.h>  | 
    
    
    33  | 
     | 
     | 
     | 
    
    
    34  | 
     | 
     | 
    #include "header.h"  | 
    
    
    35  | 
     | 
     | 
    #include "keynote.h"  | 
    
    
    36  | 
     | 
     | 
     | 
    
    
    37  | 
     | 
     | 
    void	verifyusage(void);  | 
    
    
    38  | 
     | 
     | 
     | 
    
    
    39  | 
     | 
     | 
    void  | 
    
    
    40  | 
     | 
     | 
    verifyusage(void)  | 
    
    
    41  | 
     | 
     | 
    { | 
    
    
    42  | 
     | 
     | 
        fprintf(stderr, "Arguments:\n");  | 
    
    
    43  | 
     | 
     | 
        fprintf(stderr, "\t-h:             This message\n");  | 
    
    
    44  | 
     | 
     | 
        fprintf(stderr,  | 
    
    
    45  | 
     | 
     | 
    	    "\t-r <valuelist>: Comma separated, ordered return-value list\n");  | 
    
    
    46  | 
     | 
     | 
        fprintf(stderr, "\t-e <filename>:  Environment settings\n");  | 
    
    
    47  | 
     | 
     | 
        fprintf(stderr, "\t-l <filename>:  Trusted (local) assertion\n");  | 
    
    
    48  | 
     | 
     | 
        fprintf(stderr, "\t-k <filename>:  File containing key\n");  | 
    
    
    49  | 
     | 
     | 
        fprintf(stderr, "Followed by a list of:\n");  | 
    
    
    50  | 
     | 
     | 
        fprintf(stderr, "\t<filename>:     Non-local assertion\n");  | 
    
    
    51  | 
     | 
     | 
    }  | 
    
    
    52  | 
     | 
     | 
     | 
    
    
    53  | 
     | 
     | 
    void  | 
    
    
    54  | 
     | 
     | 
    keynote_verify(int argc, char *argv[])  | 
    
    
    55  | 
     | 
     | 
    { | 
    
    
    56  | 
     | 
     | 
        int fd, i, ch, se = 0, cl = 8192, sk = 0, sl = 0, p, ac = argc;  | 
    
    
    57  | 
     | 
     | 
        char *buf, **av = argv, **retv, **foov, *ptr;  | 
    
    
    58  | 
     | 
     | 
        int numretv = 16, numret = 0, sn;  | 
    
    
    59  | 
     | 
     | 
        struct stat sb;  | 
    
    
    60  | 
     | 
     | 
     | 
    
    
    61  | 
     | 
     | 
        if (argc == 1)  | 
    
    
    62  | 
     | 
     | 
        { | 
    
    
    63  | 
     | 
     | 
    	verifyusage();  | 
    
    
    64  | 
     | 
     | 
    	exit(1);  | 
    
    
    65  | 
     | 
     | 
        }  | 
    
    
    66  | 
     | 
     | 
     | 
    
    
    67  | 
     | 
     | 
        if ((buf = calloc(cl, sizeof(char))) == NULL)  | 
    
    
    68  | 
     | 
     | 
        { | 
    
    
    69  | 
     | 
     | 
    	perror("calloc()"); | 
    
    
    70  | 
     | 
     | 
    	exit(1);  | 
    
    
    71  | 
     | 
     | 
        }  | 
    
    
    72  | 
     | 
     | 
     | 
    
    
    73  | 
     | 
     | 
        if ((retv = calloc(numretv, sizeof(char *))) == NULL)  | 
    
    
    74  | 
     | 
     | 
        { | 
    
    
    75  | 
     | 
     | 
    	perror("calloc()"); | 
    
    
    76  | 
     | 
     | 
    	exit(1);  | 
    
    
    77  | 
     | 
     | 
        }  | 
    
    
    78  | 
     | 
     | 
     | 
    
    
    79  | 
     | 
     | 
        /* "ac" and "av" are used for stress-testing, ignore otherwise */  | 
    
    
    80  | 
     | 
     | 
        argv = av;  | 
    
    
    81  | 
     | 
     | 
        argc = ac;  | 
    
    
    82  | 
     | 
     | 
        sn = 0;  | 
    
    
    83  | 
     | 
     | 
        opterr = 0;  | 
    
    
    84  | 
     | 
     | 
     | 
    
    
    85  | 
     | 
     | 
        sessid = kn_init();  | 
    
    
    86  | 
     | 
     | 
        if (sessid == -1)  | 
    
    
    87  | 
     | 
     | 
        { | 
    
    
    88  | 
     | 
     | 
    	fprintf(stderr, "kn_init() failed (errno %d).\n", keynote_errno);  | 
    
    
    89  | 
     | 
     | 
    	exit(keynote_errno);  | 
    
    
    90  | 
     | 
     | 
        }  | 
    
    
    91  | 
     | 
     | 
     | 
    
    
    92  | 
     | 
     | 
        while ((ch = getopt(argc, argv, "hqistl:e:k:r:")) != -1)  | 
    
    
    93  | 
     | 
     | 
        { | 
    
    
    94  | 
     | 
     | 
    	switch (ch)  | 
    
    
    95  | 
     | 
     | 
    	{ | 
    
    
    96  | 
     | 
     | 
    	    case 'e':  | 
    
    
    97  | 
     | 
     | 
    		if (read_environment(optarg) == -1)  | 
    
    
    98  | 
     | 
     | 
    	 	  exit(1);  | 
    
    
    99  | 
     | 
     | 
    		se = 1;  | 
    
    
    100  | 
     | 
     | 
    		break;  | 
    
    
    101  | 
     | 
     | 
     | 
    
    
    102  | 
     | 
     | 
    	    case 'k':  | 
    
    
    103  | 
     | 
     | 
    		sk = 1;  | 
    
    
    104  | 
     | 
     | 
     | 
    
    
    105  | 
     | 
     | 
    		if ((fd = open(optarg, O_RDONLY, 0)) < 0)  | 
    
    
    106  | 
     | 
     | 
    		{ | 
    
    
    107  | 
     | 
     | 
    		    perror(optarg);  | 
    
    
    108  | 
     | 
     | 
    		    exit(1);  | 
    
    
    109  | 
     | 
     | 
    		}  | 
    
    
    110  | 
     | 
     | 
     | 
    
    
    111  | 
     | 
     | 
    		if (fstat(fd, &sb) < 0)  | 
    
    
    112  | 
     | 
     | 
    		{ | 
    
    
    113  | 
     | 
     | 
    		    perror("fstat()"); | 
    
    
    114  | 
     | 
     | 
    		    exit(1);  | 
    
    
    115  | 
     | 
     | 
    		}  | 
    
    
    116  | 
     | 
     | 
     | 
    
    
    117  | 
     | 
     | 
    		if (sb.st_size > cl - 1)  | 
    
    
    118  | 
     | 
     | 
    		{ | 
    
    
    119  | 
     | 
     | 
    		    free(buf);  | 
    
    
    120  | 
     | 
     | 
    		    cl = sb.st_size + 1;  | 
    
    
    121  | 
     | 
     | 
    		    buf = calloc(cl, sizeof(char));  | 
    
    
    122  | 
     | 
     | 
    		    if (buf == NULL)  | 
    
    
    123  | 
     | 
     | 
    		    { | 
    
    
    124  | 
     | 
     | 
    			perror("calloc()"); | 
    
    
    125  | 
     | 
     | 
    			exit(1);  | 
    
    
    126  | 
     | 
     | 
    		    }  | 
    
    
    127  | 
     | 
     | 
    		}  | 
    
    
    128  | 
     | 
     | 
     | 
    
    
    129  | 
     | 
     | 
    		i = read(fd, buf, sb.st_size);  | 
    
    
    130  | 
     | 
     | 
    		if (i < 0)  | 
    
    
    131  | 
     | 
     | 
    		{ | 
    
    
    132  | 
     | 
     | 
    		    perror("read()"); | 
    
    
    133  | 
     | 
     | 
    		    exit(1);  | 
    
    
    134  | 
     | 
     | 
    		}  | 
    
    
    135  | 
     | 
     | 
     | 
    
    
    136  | 
     | 
     | 
    		close(fd);  | 
    
    
    137  | 
     | 
     | 
     | 
    
    
    138  | 
     | 
     | 
    		parse_key(buf);  | 
    
    
    139  | 
     | 
     | 
    		switch (keynote_errno)  | 
    
    
    140  | 
     | 
     | 
    		{ | 
    
    
    141  | 
     | 
     | 
    		    case 0:    /* No errors */  | 
    
    
    142  | 
     | 
     | 
    			break;  | 
    
    
    143  | 
     | 
     | 
     | 
    
    
    144  | 
     | 
     | 
    		    case ERROR_SYNTAX:  | 
    
    
    145  | 
     | 
     | 
    			fprintf(stderr, "Syntax error adding authorizer "  | 
    
    
    146  | 
     | 
     | 
    				"%s\n", optarg);  | 
    
    
    147  | 
     | 
     | 
    			exit(1);  | 
    
    
    148  | 
     | 
     | 
     | 
    
    
    149  | 
     | 
     | 
    		    case ERROR_MEMORY:  | 
    
    
    150  | 
     | 
     | 
    			perror("Out of memory.\n"); | 
    
    
    151  | 
     | 
     | 
    			exit(1);  | 
    
    
    152  | 
     | 
     | 
     | 
    
    
    153  | 
     | 
     | 
    		    default:  | 
    
    
    154  | 
     | 
     | 
    			fprintf(stderr, "Unknown error (%d).\n",  | 
    
    
    155  | 
     | 
     | 
    				keynote_errno);  | 
    
    
    156  | 
     | 
     | 
    		}  | 
    
    
    157  | 
     | 
     | 
     | 
    
    
    158  | 
     | 
     | 
    		break;  | 
    
    
    159  | 
     | 
     | 
     | 
    
    
    160  | 
     | 
     | 
    	    case 'h':  | 
    
    
    161  | 
     | 
     | 
    		verifyusage();  | 
    
    
    162  | 
     | 
     | 
    		exit(0);  | 
    
    
    163  | 
     | 
     | 
     | 
    
    
    164  | 
     | 
     | 
    	    case 'r':  | 
    
    
    165  | 
     | 
     | 
    		if (sn != 0)  | 
    
    
    166  | 
     | 
     | 
    		{ | 
    
    
    167  | 
     | 
     | 
    		    fprintf(stderr,  | 
    
    
    168  | 
     | 
     | 
    			    "Do not define two sets of return values.\n");  | 
    
    
    169  | 
     | 
     | 
    		    exit(1);  | 
    
    
    170  | 
     | 
     | 
    		}  | 
    
    
    171  | 
     | 
     | 
     | 
    
    
    172  | 
     | 
     | 
    		sn = 1;  | 
    
    
    173  | 
     | 
     | 
     | 
    
    
    174  | 
     | 
     | 
    		for (numret = 0;  | 
    
    
    175  | 
     | 
     | 
    		     (ptr = strchr(optarg, ',')) != NULL;  | 
    
    
    176  | 
     | 
     | 
    		     numret++)  | 
    
    
    177  | 
     | 
     | 
    		{ | 
    
    
    178  | 
     | 
     | 
    		    /* Running out of memory */  | 
    
    
    179  | 
     | 
     | 
    		    if (numret > numretv - 3)  | 
    
    
    180  | 
     | 
     | 
    		    { | 
    
    
    181  | 
     | 
     | 
    			numretv *= 2;  | 
    
    
    182  | 
     | 
     | 
    			foov = calloc(numretv, sizeof(char **));  | 
    
    
    183  | 
     | 
     | 
    			if (foov == NULL)  | 
    
    
    184  | 
     | 
     | 
    			{ | 
    
    
    185  | 
     | 
     | 
    			    /*  | 
    
    
    186  | 
     | 
     | 
    			     * If this were a real program, we 'd be freeing  | 
    
    
    187  | 
     | 
     | 
    			     * retv here. Since we're exiting, we can be a  | 
    
    
    188  | 
     | 
     | 
    			     * little sloppy.  | 
    
    
    189  | 
     | 
     | 
    			     */  | 
    
    
    190  | 
     | 
     | 
    			    perror("calloc()"); | 
    
    
    191  | 
     | 
     | 
    			    exit(1);  | 
    
    
    192  | 
     | 
     | 
    			}  | 
    
    
    193  | 
     | 
     | 
     | 
    
    
    194  | 
     | 
     | 
    			memcpy(foov, retv, numretv * sizeof(char **));  | 
    
    
    195  | 
     | 
     | 
    			free(retv);  | 
    
    
    196  | 
     | 
     | 
    			retv = foov;  | 
    
    
    197  | 
     | 
     | 
    		    }  | 
    
    
    198  | 
     | 
     | 
     | 
    
    
    199  | 
     | 
     | 
    		    retv[numret] = calloc((ptr - optarg) + 1,  | 
    
    
    200  | 
     | 
     | 
    						       sizeof(char));  | 
    
    
    201  | 
     | 
     | 
    		    if (retv[numret] == NULL)  | 
    
    
    202  | 
     | 
     | 
    		    { | 
    
    
    203  | 
     | 
     | 
    			/* Comment from above applies here as well */  | 
    
    
    204  | 
     | 
     | 
    			perror("calloc()"); | 
    
    
    205  | 
     | 
     | 
    			exit(1);  | 
    
    
    206  | 
     | 
     | 
    		    }  | 
    
    
    207  | 
     | 
     | 
     | 
    
    
    208  | 
     | 
     | 
    		    /* Copy */  | 
    
    
    209  | 
     | 
     | 
    		    memcpy(retv[numret], optarg, ptr - optarg);  | 
    
    
    210  | 
     | 
     | 
    		    optarg = ptr + 1;  | 
    
    
    211  | 
     | 
     | 
    		}  | 
    
    
    212  | 
     | 
     | 
     | 
    
    
    213  | 
     | 
     | 
    		/* Last component */  | 
    
    
    214  | 
     | 
     | 
    		retv[numret] = strdup(optarg);  | 
    
    
    215  | 
     | 
     | 
    		if (retv[numret] == NULL)  | 
    
    
    216  | 
     | 
     | 
    		{ | 
    
    
    217  | 
     | 
     | 
    		    perror("calloc()"); | 
    
    
    218  | 
     | 
     | 
    		    exit(1);  | 
    
    
    219  | 
     | 
     | 
    		}  | 
    
    
    220  | 
     | 
     | 
     | 
    
    
    221  | 
     | 
     | 
    		numret++;  | 
    
    
    222  | 
     | 
     | 
    		break;  | 
    
    
    223  | 
     | 
     | 
     | 
    
    
    224  | 
     | 
     | 
    	    case 'l':  | 
    
    
    225  | 
     | 
     | 
    		if ((fd = open(optarg, O_RDONLY, 0)) < 0)  | 
    
    
    226  | 
     | 
     | 
    		{ | 
    
    
    227  | 
     | 
     | 
    		    perror(optarg);  | 
    
    
    228  | 
     | 
     | 
    		    exit(1);  | 
    
    
    229  | 
     | 
     | 
    		}  | 
    
    
    230  | 
     | 
     | 
     | 
    
    
    231  | 
     | 
     | 
    		if (fstat(fd, &sb) < 0)  | 
    
    
    232  | 
     | 
     | 
    		{ | 
    
    
    233  | 
     | 
     | 
    		    perror("fstat()"); | 
    
    
    234  | 
     | 
     | 
    		    exit(1);  | 
    
    
    235  | 
     | 
     | 
    		}  | 
    
    
    236  | 
     | 
     | 
     | 
    
    
    237  | 
     | 
     | 
    		if (sb.st_size > cl - 1)  | 
    
    
    238  | 
     | 
     | 
    		{ | 
    
    
    239  | 
     | 
     | 
    		    free(buf);  | 
    
    
    240  | 
     | 
     | 
    		    cl = sb.st_size + 1;  | 
    
    
    241  | 
     | 
     | 
    		    buf = calloc(cl, sizeof(char));  | 
    
    
    242  | 
     | 
     | 
    		    if (buf == NULL)  | 
    
    
    243  | 
     | 
     | 
    		    { | 
    
    
    244  | 
     | 
     | 
    			perror("calloc()"); | 
    
    
    245  | 
     | 
     | 
    			exit(1);  | 
    
    
    246  | 
     | 
     | 
    		    }  | 
    
    
    247  | 
     | 
     | 
    		}  | 
    
    
    248  | 
     | 
     | 
     | 
    
    
    249  | 
     | 
     | 
    		i = read(fd, buf, sb.st_size);  | 
    
    
    250  | 
     | 
     | 
    		if (i < 0)  | 
    
    
    251  | 
     | 
     | 
    		{ | 
    
    
    252  | 
     | 
     | 
    		    perror("read()"); | 
    
    
    253  | 
     | 
     | 
    		    exit(1);  | 
    
    
    254  | 
     | 
     | 
    		}  | 
    
    
    255  | 
     | 
     | 
     | 
    
    
    256  | 
     | 
     | 
    		close(fd);  | 
    
    
    257  | 
     | 
     | 
    		p = kn_add_assertion(sessid, buf, i, ASSERT_FLAG_LOCAL);  | 
    
    
    258  | 
     | 
     | 
    		if (p == -1)  | 
    
    
    259  | 
     | 
     | 
    		{ | 
    
    
    260  | 
     | 
     | 
    		    fprintf(stderr,  | 
    
    
    261  | 
     | 
     | 
    			    "Error for assertion in file <%s>, errno %d.\n",  | 
    
    
    262  | 
     | 
     | 
    			   optarg, keynote_errno);  | 
    
    
    263  | 
     | 
     | 
    		    keynote_errno = 0;  | 
    
    
    264  | 
     | 
     | 
    		}  | 
    
    
    265  | 
     | 
     | 
     | 
    
    
    266  | 
     | 
     | 
    		memset(buf, 0, sb.st_size);  | 
    
    
    267  | 
     | 
     | 
    		sl = 1;  | 
    
    
    268  | 
     | 
     | 
    		break;  | 
    
    
    269  | 
     | 
     | 
     | 
    
    
    270  | 
     | 
     | 
    	    case '?':  | 
    
    
    271  | 
     | 
     | 
    	    default:  | 
    
    
    272  | 
     | 
     | 
    		verifyusage();  | 
    
    
    273  | 
     | 
     | 
    		exit(1);  | 
    
    
    274  | 
     | 
     | 
    	}  | 
    
    
    275  | 
     | 
     | 
        }  | 
    
    
    276  | 
     | 
     | 
     | 
    
    
    277  | 
     | 
     | 
        argc -= optind;  | 
    
    
    278  | 
     | 
     | 
        argv += optind;  | 
    
    
    279  | 
     | 
     | 
        optind = 1;  | 
    
    
    280  | 
     | 
     | 
     | 
    
    
    281  | 
     | 
     | 
        if (sn == 0)  | 
    
    
    282  | 
     | 
     | 
        { | 
    
    
    283  | 
     | 
     | 
    	fprintf(stderr,  | 
    
    
    284  | 
     | 
     | 
    		"Should set return values before evaluations begin.\n");  | 
    
    
    285  | 
     | 
     | 
    	exit(1);  | 
    
    
    286  | 
     | 
     | 
        }  | 
    
    
    287  | 
     | 
     | 
     | 
    
    
    288  | 
     | 
     | 
        if (se == 0)  | 
    
    
    289  | 
     | 
     | 
        { | 
    
    
    290  | 
     | 
     | 
    	fprintf(stderr, "Should set environment before evaluations begin.\n");  | 
    
    
    291  | 
     | 
     | 
    	exit(1);  | 
    
    
    292  | 
     | 
     | 
        }  | 
    
    
    293  | 
     | 
     | 
     | 
    
    
    294  | 
     | 
     | 
        if (sk == 0)  | 
    
    
    295  | 
     | 
     | 
        { | 
    
    
    296  | 
     | 
     | 
    	fprintf(stderr, "Should specify at least one action authorizer.\n");  | 
    
    
    297  | 
     | 
     | 
    	exit(1);  | 
    
    
    298  | 
     | 
     | 
        }  | 
    
    
    299  | 
     | 
     | 
     | 
    
    
    300  | 
     | 
     | 
        if (sl == 0)  | 
    
    
    301  | 
     | 
     | 
        { | 
    
    
    302  | 
     | 
     | 
    	fprintf(stderr,  | 
    
    
    303  | 
     | 
     | 
    		"Should specify at least one trusted assertion (POLICY).\n");  | 
    
    
    304  | 
     | 
     | 
    	exit(1);  | 
    
    
    305  | 
     | 
     | 
        }  | 
    
    
    306  | 
     | 
     | 
     | 
    
    
    307  | 
     | 
     | 
        while (argc--)  | 
    
    
    308  | 
     | 
     | 
        { | 
    
    
    309  | 
     | 
     | 
    	if ((fd = open(argv[argc], O_RDONLY, 0)) < 0)  | 
    
    
    310  | 
     | 
     | 
    	{ | 
    
    
    311  | 
     | 
     | 
    	    perror(argv[argc]);  | 
    
    
    312  | 
     | 
     | 
    	    exit(1);  | 
    
    
    313  | 
     | 
     | 
    	}  | 
    
    
    314  | 
     | 
     | 
     | 
    
    
    315  | 
     | 
     | 
    	if (fstat(fd, &sb) < 0)  | 
    
    
    316  | 
     | 
     | 
    	{ | 
    
    
    317  | 
     | 
     | 
    	    perror("fstat()"); | 
    
    
    318  | 
     | 
     | 
    	    exit(1);  | 
    
    
    319  | 
     | 
     | 
    	}  | 
    
    
    320  | 
     | 
     | 
     | 
    
    
    321  | 
     | 
     | 
    	if (sb.st_size > cl - 1)  | 
    
    
    322  | 
     | 
     | 
    	{ | 
    
    
    323  | 
     | 
     | 
    	    free(buf);  | 
    
    
    324  | 
     | 
     | 
    	    cl = sb.st_size + 1;  | 
    
    
    325  | 
     | 
     | 
    	    buf = calloc(cl, sizeof(char));  | 
    
    
    326  | 
     | 
     | 
    	    if (buf == NULL)  | 
    
    
    327  | 
     | 
     | 
    	    { | 
    
    
    328  | 
     | 
     | 
    		perror("calloc()"); | 
    
    
    329  | 
     | 
     | 
    		exit(1);  | 
    
    
    330  | 
     | 
     | 
    	    }  | 
    
    
    331  | 
     | 
     | 
    	}  | 
    
    
    332  | 
     | 
     | 
     | 
    
    
    333  | 
     | 
     | 
    	i = read(fd, buf, sb.st_size);  | 
    
    
    334  | 
     | 
     | 
    	if (i < 0)  | 
    
    
    335  | 
     | 
     | 
    	{ | 
    
    
    336  | 
     | 
     | 
    	    perror("read()"); | 
    
    
    337  | 
     | 
     | 
    	    exit(1);  | 
    
    
    338  | 
     | 
     | 
    	}  | 
    
    
    339  | 
     | 
     | 
     | 
    
    
    340  | 
     | 
     | 
    	close(fd);  | 
    
    
    341  | 
     | 
     | 
    	p = kn_add_assertion(sessid, buf, i, 0);  | 
    
    
    342  | 
     | 
     | 
    	if (p == -1)  | 
    
    
    343  | 
     | 
     | 
    	{ | 
    
    
    344  | 
     | 
     | 
    	    fprintf(stderr, "Error for assertion in file <%s>, errno %d.\n",  | 
    
    
    345  | 
     | 
     | 
    		    argv[argc], keynote_errno);  | 
    
    
    346  | 
     | 
     | 
    	    keynote_errno = 0;  | 
    
    
    347  | 
     | 
     | 
    	}  | 
    
    
    348  | 
     | 
     | 
     | 
    
    
    349  | 
     | 
     | 
    	memset(buf, 0, sb.st_size);  | 
    
    
    350  | 
     | 
     | 
        }  | 
    
    
    351  | 
     | 
     | 
     | 
    
    
    352  | 
     | 
     | 
        p = kn_do_query(sessid, retv, numret); /* Evaluation time */  | 
    
    
    353  | 
     | 
     | 
     | 
    
    
    354  | 
     | 
     | 
        printf("Query result = "); | 
    
    
    355  | 
     | 
     | 
     | 
    
    
    356  | 
     | 
     | 
        switch (keynote_errno)  | 
    
    
    357  | 
     | 
     | 
        { | 
    
    
    358  | 
     | 
     | 
    	case ERROR_MEMORY:  | 
    
    
    359  | 
     | 
     | 
    	    printf("<out of memory>\n"); | 
    
    
    360  | 
     | 
     | 
    	    exit(1);  | 
    
    
    361  | 
     | 
     | 
     | 
    
    
    362  | 
     | 
     | 
    	case ERROR_SYNTAX:  | 
    
    
    363  | 
     | 
     | 
    	    printf("<uninitialized authorizers or all POLICY " | 
    
    
    364  | 
     | 
     | 
    		   "assertions are malformed!>\n");  | 
    
    
    365  | 
     | 
     | 
    	    exit(1);  | 
    
    
    366  | 
     | 
     | 
     | 
    
    
    367  | 
     | 
     | 
    	case ERROR_NOTFOUND:  | 
    
    
    368  | 
     | 
     | 
    	    printf("<session or other information not found!>\n"); | 
    
    
    369  | 
     | 
     | 
    	    exit(1);  | 
    
    
    370  | 
     | 
     | 
     | 
    
    
    371  | 
     | 
     | 
    	case 0:	/* No errors */  | 
    
    
    372  | 
     | 
     | 
    	    break;  | 
    
    
    373  | 
     | 
     | 
     | 
    
    
    374  | 
     | 
     | 
    	default:  | 
    
    
    375  | 
     | 
     | 
    	    printf("<should never happen (%d)!>\n", keynote_errno); | 
    
    
    376  | 
     | 
     | 
    	    exit(1);  | 
    
    
    377  | 
     | 
     | 
        }  | 
    
    
    378  | 
     | 
     | 
     | 
    
    
    379  | 
     | 
     | 
        printf("%s\n", retv[p]); | 
    
    
    380  | 
     | 
     | 
     | 
    
    
    381  | 
     | 
     | 
        keynote_errno = 0;  | 
    
    
    382  | 
     | 
     | 
     | 
    
    
    383  | 
     | 
     | 
        while ((i = kn_get_failed(sessid, KEYNOTE_ERROR_MEMORY, 0)) != -1)  | 
    
    
    384  | 
     | 
     | 
        { | 
    
    
    385  | 
     | 
     | 
            printf("Failed assertion %d due to memory error.\n", i); | 
    
    
    386  | 
     | 
     | 
            kn_remove_assertion(sessid, i);  | 
    
    
    387  | 
     | 
     | 
        }  | 
    
    
    388  | 
     | 
     | 
     | 
    
    
    389  | 
     | 
     | 
        while ((i = kn_get_failed(sessid, KEYNOTE_ERROR_SYNTAX, 0)) != -1)  | 
    
    
    390  | 
     | 
     | 
        { | 
    
    
    391  | 
     | 
     | 
            printf("Failed assertion %d due to syntax or semantic error.\n", i); | 
    
    
    392  | 
     | 
     | 
            kn_remove_assertion(sessid, i);  | 
    
    
    393  | 
     | 
     | 
        }  | 
    
    
    394  | 
     | 
     | 
     | 
    
    
    395  | 
     | 
     | 
        while ((i = kn_get_failed(sessid, KEYNOTE_ERROR_SIGNATURE, 0)) != -1)  | 
    
    
    396  | 
     | 
     | 
        { | 
    
    
    397  | 
     | 
     | 
            printf("Failed assertion %d due to signature verification failure.\n", | 
    
    
    398  | 
     | 
     | 
    	       i);  | 
    
    
    399  | 
     | 
     | 
            kn_remove_assertion(sessid, i);  | 
    
    
    400  | 
     | 
     | 
        }  | 
    
    
    401  | 
     | 
     | 
     | 
    
    
    402  | 
     | 
     | 
        while ((i = kn_get_failed(sessid, KEYNOTE_ERROR_ANY, 0)) != -1)  | 
    
    
    403  | 
     | 
     | 
        { | 
    
    
    404  | 
     | 
     | 
            printf("Failed assertion %d due to unspecified error.\n", i); | 
    
    
    405  | 
     | 
     | 
            kn_remove_assertion(sessid, i);  | 
    
    
    406  | 
     | 
     | 
        }  | 
    
    
    407  | 
     | 
     | 
     | 
    
    
    408  | 
     | 
     | 
        kn_close(sessid);  | 
    
    
    409  | 
     | 
     | 
     | 
    
    
    410  | 
     | 
     | 
        /* This is a reminder that return values are not free'ed by KeyNote */  | 
    
    
    411  | 
     | 
     | 
        for (sn = 0; sn < numret; sn++)  | 
    
    
    412  | 
     | 
     | 
          free(retv[sn]);  | 
    
    
    413  | 
     | 
     | 
        free(retv);  | 
    
    
    414  | 
     | 
     | 
        retv = NULL;  | 
    
    
    415  | 
     | 
     | 
     | 
    
    
    416  | 
     | 
     | 
        exit(0);  | 
    
    
    417  | 
     | 
     | 
    }  |