X-Git-Url: https://git.distorted.org.uk/~mdw/yaid/blobdiff_plain/3bfd21ff72dfd7f04c786e49de9c13998d1ed8d4..c3794524deb80d18c5b3be72a7572b34fad409a1:/policy.c diff --git a/policy.c b/policy.c index 80e2bfd..06475f3 100644 --- a/policy.c +++ b/policy.c @@ -28,18 +28,17 @@ #include "yaid.h" -/*----- Main code ---------------------------------------------------------*/ +/*----- Memory management -------------------------------------------------*/ -/* syntax: addrpat portpat addrpar portpat policy - * - * local address/port first, then remote - * addrpat ::= addr [/ len] - * portpat ::= num | num - num | * - * policy ::= user policy* | token | name | deny | hide | +/* Initialize a policy structure. In this state, it doesn't actually have + * any resources allocated (so can be simply discarded) but it's safe to free + * (using `free_policy'). */ - void init_policy(struct policy *p) { p->act.act = A_LIMIT; } +/* Free an action structure, resetting it to a safe state. This function is + * idempotent. + */ static void free_action(struct action *a) { switch (a->act) { @@ -50,9 +49,14 @@ static void free_action(struct action *a) a->act = A_LIMIT; } +/* Free a policy structure, resetting it to its freshly-initialized state. + * This function is idempotent. + */ void free_policy(struct policy *p) { free_action(&p->act); } +/*----- Diagnostics -------------------------------------------------------*/ + static void print_addrpat(const struct addrops *ao, const struct addrpat *ap) { char buf[ADDRLEN]; @@ -100,6 +104,7 @@ static void print_action(const struct action *act) } } +/* Print a policy rule to standard output. */ void print_policy(const struct policy *p) { print_sockpat(p->ao, &p->sp[L]); putchar(' '); @@ -107,9 +112,13 @@ void print_policy(const struct policy *p) print_action(&p->act); putchar('\n'); } +/*----- Matching ----------------------------------------------------------*/ + +/* Return true if the port matches the pattern. */ static int match_portpat(const struct portpat *pp, unsigned port) { return (pp->lo <= port && port <= pp->hi); } +/* Return true if the socket matches the pattern. */ static int match_sockpat(const struct addrops *ao, const struct sockpat *sp, const struct socket *s) { @@ -117,6 +126,7 @@ static int match_sockpat(const struct addrops *ao, match_portpat(&sp->port, s->port)); } +/* Return true if the query matches the patterns in the policy rule. */ int match_policy(const struct policy *p, const struct query *q) { return ((!p->ao || p->ao == q->ao) && @@ -124,6 +134,9 @@ int match_policy(const struct policy *p, const struct query *q) match_sockpat(q->ao, &p->sp[R], &q->s[R])); } +/*----- Parsing -----------------------------------------------------------*/ + +/* Advance FP to the next line. */ static void nextline(FILE *fp) { for (;;) { @@ -132,33 +145,54 @@ static void nextline(FILE *fp) } } +/* Scan a whitespace-separated token from FP, writing it to BUF. The token + * must fit in a buffer of size SZ, including a terminating null. Return + * an appropriate T_* error code. + */ static int scan(FILE *fp, char *buf, size_t sz) { int ch; skip_ws: + /* Before we start grabbing a token proper, find out what's in store. */ ch = getc(fp); switch (ch) { + case '\n': newline: + /* Found a newline. Leave it where it is and report it. */ ungetc(ch, fp); return (T_EOL); + case EOF: eof: + /* Found end-of-file, or an I/O error. Return an appropriate code. */ return (ferror(fp) ? T_ERROR : T_EOF); + case '#': + /* Found a comment. Consume it, and continue appropriately: it must + * be terminated either by a newline or end-of-file. + */ for (;;) { ch = getc(fp); if (ch == '\n') goto newline; else if (ch == EOF) goto eof; } + default: + /* Whitespace means we just continue around. Anything else and we + * start snarfing. + */ if (isspace(ch)) goto skip_ws; break; } for (;;) { + + /* If there's buffer space left, store the character. */ if (sz) { *buf++ = ch; sz--; } + + /* Get a new one, and find out what to do about it. */ ch = getc(fp); switch (ch) { case '\n': @@ -173,14 +207,17 @@ skip_ws: } done: - if (!sz) - return (T_ERROR); - else { - *buf++ = 0; sz--; - return (T_OK); - } + /* If there's no space for a terminating null then report an error. */ + if (!sz) return (T_ERROR); + + /* All done. */ + *buf++ = 0; sz--; + return (T_OK); } +/* Parse an action name, storing the code in *ACT. Return an appropriate T_* + * code. + */ static int parse_actname(FILE *fp, unsigned *act) { char buf[32]; @@ -193,6 +230,7 @@ static int parse_actname(FILE *fp, unsigned *act) return (T_ERROR); } +/* Parse an action, returning a T_* code. */ static int parse_action(FILE *fp, struct action *act) { char buf[32]; @@ -200,9 +238,14 @@ static int parse_action(FILE *fp, struct action *act) unsigned a; unsigned long m; + /* Collect the action name. */ if ((t = parse_actname(fp, &a)) != 0) return (t); + + /* Parse parameters, if there are any. */ switch (a) { + case A_USER: + /* `user ACTION ACTION ...': store permitted actions in a bitmask. */ m = 0; for (;;) { if ((t = parse_actname(fp, &a)) != 0) break; @@ -212,28 +255,40 @@ static int parse_action(FILE *fp, struct action *act) act->act = A_USER; act->u.user = m; break; + case A_TOKEN: case A_NAME: case A_DENY: case A_HIDE: + /* Dull actions which don't accept parameters. */ act->act = a; break; + case A_LIE: + /* `lie NAME': store the string we're to report. */ if ((t = scan(fp, buf, sizeof(buf))) != 0) return (t); act->act = a; act->u.lie = xstrdup(buf); break; } + + /* Make sure we've reached the end of the line. */ t = scan(fp, buf, sizeof(buf)); if (t != T_EOF && t != T_EOL) { free_action(act); return (T_ERROR); } + + /* Done. */ return (0); } -static int parse_sockpat(FILE *fp, const struct addrops **aop, - struct sockpat *sp) +/* Parse an address pattern, writing it to AP. If the pattern has an + * identifiable address family, update *AOP to point to its operations table; + * if *AOP is already set to something different then report an error. + */ +static int parse_addrpat(FILE *fp, const struct addrops **aop, + struct addrpat *ap) { char buf[64]; int t; @@ -241,47 +296,96 @@ static int parse_sockpat(FILE *fp, const struct addrops **aop, long n; char *delim; + /* Scan a token for the address pattern. */ if ((t = scan(fp, buf, sizeof(buf))) != 0) return (t); - if (strcmp(buf, "*") == 0) - sp->addr.len = 0; - else { - if (strchr(buf, ':')) - ao = &addroptab[ADDR_IPV6]; - else - ao = &addroptab[ADDR_IPV4]; - if (!*aop) *aop = ao; - else if (*aop != ao) return (T_ERROR); - delim = strchr(buf, '/'); - if (delim) *delim++ = 0; - if (!inet_pton(ao->af, buf, &sp->addr.addr)) return (T_ERROR); - if (!delim) n = ao->len; - else n = strtol(delim, 0, 10); - if (n < 0 || n > ao->len) return (T_ERROR); - sp->addr.len = n; + + /* If this is a wildcard, then leave everything as it is. */ + if (strcmp(buf, "*") == 0) { + ap->len = 0; + return (T_OK); } + /* Decide what kind of address this must be. A bit grim, sorry. */ + if (strchr(buf, ':')) + ao = &addroptab[ADDR_IPV6]; + else + ao = &addroptab[ADDR_IPV4]; + + /* Update the caller's idea of the address family in use. */ + if (!*aop) *aop = ao; + else if (*aop != ao) return (T_ERROR); + + /* See whether there's a prefix length. If so, clobber it. */ + delim = strchr(buf, '/'); + if (delim) *delim++ = 0; + + /* Parse the address. */ + if (!inet_pton(ao->af, buf, &ap->addr)) return (T_ERROR); + + /* Parse the prefix length, or use the maximum one. */ + if (!delim) n = ao->len; + else n = strtol(delim, 0, 10); + if (n < 0 || n > ao->len) return (T_ERROR); + ap->len = n; + + /* Done. */ + return (T_OK); +} + +static int parse_portpat(FILE *fp, struct portpat *pp) +{ + char buf[64]; + int t; + long n; + char *delim; + + /* Parse a token for the pattern. */ if ((t = scan(fp, buf, sizeof(buf))) != 0) return (T_ERROR); + + /* If this is a wildcard, then we're done. */ if (strcmp(buf, "*") == 0) { - sp->port.lo = 0; - sp->port.hi = 65535; - } else { - delim = strchr(buf, '-'); - if (delim) *delim++ = 0; - n = strtol(buf, 0, 0); - if (n < 0 || n > 65535) return (T_ERROR); - sp->port.lo = n; - if (!delim) - sp->port.hi = n; - else { - n = strtol(delim, 0, 0); - if (n < 0 || n > 65535) return (T_ERROR); - sp->port.hi = n; - } + pp->lo = 0; + pp->hi = 65535; + return (T_OK); } - return (0); + + /* Find a range delimiter. */ + delim = strchr(buf, '-'); + if (delim) *delim++ = 0; + + /* Parse the only or low end of the range. */ + n = strtol(buf, 0, 0); + if (n < 0 || n > 65535) return (T_ERROR); + pp->lo = n; + + /* If there's no delimiter, then the high end is equal to the low end; + * otherwise, parse the high end. + */ + if (!delim) + pp->hi = n; + else { + n = strtol(delim, 0, 0); + if (n < pp->lo || n > 65535) return (T_ERROR); + pp->hi = n; + } + + /* Done. */ + return (T_OK); } -int parse_policy(FILE *fp, struct policy *p) +/* Parse a socket pattern, writing it to SP. */ +static int parse_sockpat(FILE *fp, const struct addrops **aop, + struct sockpat *sp) +{ + int t; + + if ((t = parse_addrpat(fp, aop, &sp->addr)) != 0) return (t); + if ((t = parse_portpat(fp, &sp->port)) != 0) return (T_ERROR); + return (T_OK); +} + +/* Parse a policy rule line, writing it to P. */ +static int parse_policy(FILE *fp, struct policy *p) { int t; @@ -300,6 +404,9 @@ fail: return (t); } +/* Open a policy file by NAME. The description WHAT and query Q are used for + * formatting error messages for the log. + */ int open_policy_file(struct policy_file *pf, const char *name, const char *what, const struct query *q) { @@ -318,6 +425,9 @@ int open_policy_file(struct policy_file *pf, const char *name, return (0); } +/* Read a policy rule from the file, storing it in PF->p. Return one of the + * T_* codes. + */ int read_policy_file(struct policy_file *pf) { int t; @@ -349,12 +459,18 @@ int read_policy_file(struct policy_file *pf) } } +/* Close a policy file. It doesn't matter whether the file was completely + * read. + */ void close_policy_file(struct policy_file *pf) { fclose(pf->fp); free_policy(&pf->p); } +/* Load a policy file, writing a vector of records into PV. If the policy + * file has errors, then leave PV unchanged and return nonzero. + */ int load_policy_file(const char *file, policy_v *pv) { struct policy_file pf;