[review v2] resolv: Implement trust-ad option for /etc/resolv.conf [BZ #20358]
Carlos O'Donell (Code Review)
gerrit@gnutoolchain-gerrit.osci.io
Wed Nov 27 19:29:00 GMT 2019
Carlos O'Donell has posted comments on this change.
Change URL: https://gnutoolchain-gerrit.osci.io/r/c/glibc/+/461
......................................................................
Patch Set 2: Code-Review+2
(15 comments)
The solution here is similar to what is documented in the upstream wiki design:
https://sourceware.org/glibc/wiki/DNSSEC
That is we are implementing the ad-flag/RES_AD_FLAG option. I think RES_TRUSTAD is a better name since it captures what the flag really means that you trust the resolvers setup in /etc/resolv.conf.
OK for master!
Reviewed-by: Carlos O'Donell <carlos@redhat.com>
| --- NEWS
| +++ NEWS
| @@ -34,17 +34,26 @@ * The gettimeofday function will no longer report information about a
| will always receive a 'struct timezone' whose tz_minuteswest and
| tz_dsttime fields are zero.
|
| * The function pthread_clockjoin_np has been added, enabling join with a
| terminated thread with a specific clock. It allows waiting against
| CLOCK_MONOTONIC and CLOCK_REALTIME. This function is a GNU extension.
|
| * New locale added: mnw_MM (Mon language spoken in Myanmar).
|
| +* The DNS stub resolver will optionally send the AD (authenticated data) bit
| + in queries if the trust-ad option is set via the options directive in
| + /etc/resolv.conf (or if RES_TRUSTAD is set in _res.options). In this
| + mode, the AD bit, as provided by the name server, is available to
| + applications which call res_search and related functions. In the default
| + mode, the AD bit is not set in queries, and it is automatically cleared in
| + responses, indicating a lack of DNSSEC validation. (Therefore, the name
| + servers and the network path to them are treated as untrusted.)
PS2, Line 50:
OK. Agreed, this is the best case design we could come up with at the
time. Thanks for realizing this implementation.
| +
| Deprecated and removed features, and other changes affecting compatibility:
|
| * The totalorder and totalordermag functions, and the corresponding
| functions for other floating-point types, now take pointer arguments to
| avoid signaling NaNs possibly being converted to quiet NaNs in argument
| passing. This is in accordance with the resolution of Clarification
| Request 25 to TS 18661-1, as applied for C2X. Existing binaries that pass
| floating-point arguments directly will continue to work.
| --- resolv/Makefile
| +++ resolv/Makefile
| @@ -62,18 +62,19 @@ tests += \
| tst-resolv-trailing \
|
| # These tests need libdl.
| ifeq (yes,$(build-shared))
| tests += \
| tst-resolv-ai_idn \
| tst-resolv-ai_idn-latin1 \
| tst-resolv-ai_idn-nolibidn2 \
| tst-resolv-canonname \
| + tst-resolv-trustad \
PS2, Line 71:
OK. Test case added.
|
| # Needs resolv_context.
| tests-internal += \
| tst-resolv-res_init \
| tst-resolv-res_init-thread \
| tst-resolv-res_ninit \
| tst-resolv-threads \
|
| # Used by tst-resolv-ai_idn-nolibidn2 to disable libidn2 (by not
...
| @@ -193,16 +194,17 @@ $(objpfx)tst-resolv-res_init-thread: $(libdl) $(objpfx)libresolv.so \
| $(objpfx)tst-resolv-nondecimal: $(objpfx)libresolv.so $(shared-thread-library)
| $(objpfx)tst-resolv-qtypes: $(objpfx)libresolv.so $(shared-thread-library)
| $(objpfx)tst-resolv-rotate: $(objpfx)libresolv.so $(shared-thread-library)
| $(objpfx)tst-resolv-search: $(objpfx)libresolv.so $(shared-thread-library)
| $(objpfx)tst-resolv-trailing: $(objpfx)libresolv.so $(shared-thread-library)
| $(objpfx)tst-resolv-threads: \
| $(libdl) $(objpfx)libresolv.so $(shared-thread-library)
| $(objpfx)tst-resolv-canonname: \
| $(libdl) $(objpfx)libresolv.so $(shared-thread-library)
| +$(objpfx)tst-resolv-trustad: $(objpfx)libresolv.so $(shared-thread-library)
PS2, Line 203:
OK. Link with libresolv.so.
|
| $(objpfx)tst-ns_name: $(objpfx)libresolv.so
| $(objpfx)tst-ns_name.out: tst-ns_name.data
| $(objpfx)tst-ns_name_compress: $(objpfx)libresolv.so
| $(objpfx)tst-ns_name_pton: $(objpfx)libresolv.so
| $(objpfx)tst-res_hnok: $(objpfx)libresolv.so
| $(objpfx)tst-p_secstodate: $(objpfx)libresolv.so
| --- resolv/res_debug.c
| +++ resolv/res_debug.c
| @@ -606,18 +606,19 @@ p_option(u_long option) {
| case RES_DNSRCH: return "dnsrch";
| case RES_NOALIASES: return "noaliases";
| case RES_ROTATE: return "rotate";
| case RES_USE_EDNS0: return "edns0";
| case RES_SNGLKUP: return "single-request";
| case RES_SNGLKUPREOP: return "single-request-reopen";
| case RES_USE_DNSSEC: return "dnssec";
| case RES_NOTLDQUERY: return "no-tld-query";
| case RES_NORELOAD: return "no-reload";
| + case RES_TRUSTAD: return "trust-ad";
PS2, Line 615:
OK, add new RES_TRUSTAD/trust-ad mnemonic mapping.
| /* XXX nonreentrant */
| default: sprintf(nbuf, "?0x%lx?", (u_long)option);
| return (nbuf);
| }
| }
| libresolv_hidden_def (p_option)
|
| /*
| * Return a mnemonic for a time to live.
| --- resolv/res_init.c
| +++ resolv/res_init.c
| @@ -675,17 +675,18 @@ #define STRnLEN(str) str, sizeof (str) - 1
| { STRnLEN ("rotate"), 0, RES_ROTATE },
| { STRnLEN ("edns0"), 0, RES_USE_EDNS0 },
| { STRnLEN ("single-request-reopen"), 0, RES_SNGLKUPREOP },
| { STRnLEN ("single-request"), 0, RES_SNGLKUP },
| { STRnLEN ("no_tld_query"), 0, RES_NOTLDQUERY },
| { STRnLEN ("no-tld-query"), 0, RES_NOTLDQUERY },
| { STRnLEN ("no-reload"), 0, RES_NORELOAD },
| - { STRnLEN ("use-vc"), 0, RES_USEVC }
| + { STRnLEN ("use-vc"), 0, RES_USEVC },
| + { STRnLEN ("trust-ad"), 0, RES_TRUSTAD },
PS2, Line 683:
OK. Parse RES_TRUSTAD for trust-ad.
| };
| #define noptions (sizeof (options) / sizeof (options[0]))
| for (int i = 0; i < noptions; ++i)
| if (strncmp (cp, options[i].str, options[i].len) == 0)
| {
| if (options[i].clear)
| parser->template.options &= options[i].flag;
| else
| parser->template.options |= options[i].flag;
| --- resolv/res_mkquery.c
| +++ resolv/res_mkquery.c
| @@ -113,17 +113,19 @@ __res_context_mkquery (struct resolv_context *ctx, int op, const char *dname,
| return -1;
| memset (buf, 0, HFIXEDSZ);
| hp = (HEADER *) buf;
| /* We randomize the IDs every time. The old code just incremented
| by one after the initial randomization which still predictable if
| the application does multiple requests. */
| hp->id = random_bits ();
| hp->opcode = op;
| + if (ctx->resp->options & RES_TRUSTAD)
| + hp->ad = 1;
PS2, Line 122:
OK, if RES_TRUSTAD is set then set ad to 1.
| hp->rd = (ctx->resp->options & RES_RECURSE) != 0;
| hp->rcode = NOERROR;
| cp = buf + HFIXEDSZ;
| buflen -= HFIXEDSZ;
| dpp = dnptrs;
| *dpp++ = buf;
| *dpp++ = NULL;
| lastdnptr = dnptrs + sizeof dnptrs / sizeof dnptrs[0];
|
| --- resolv/res_send.c
| +++ resolv/res_send.c
| @@ -332,10 +332,19 @@ nameserver_offset (struct __res_state *statp)
| }
| }
|
| +/* Clear the AD bit unless the trust-ad option was specified in the
| + resolver configuration. */
| +static void
| +mask_ad_bit (struct resolv_context *ctx, void *buf)
| +{
| + if (!(ctx->resp->options & RES_TRUSTAD))
| + ((HEADER *) buf)->ad = 0;
PS2, Line 341:
OK, if RES_TRUSTAD is not set then clear ad.
| +}
| +
| /* int
| * res_queriesmatch(buf1, eom1, buf2, eom2)
| * is there a 1:1 mapping of (name,type,class)
| * in (buf1,eom1) and (buf2,eom2)?
| * returns:
| * -1 : format error
| * 0 : not a 1:1 mapping
...
| @@ -519,17 +528,29 @@ __res_context_send (struct resolv_context *ctx,
| goto next_ns;
| if (v_circuit)
| // XXX Check whether both requests failed or
| // XXX whether one has been answered successfully
| goto same_ns;
| }
|
| resplen = n;
|
| + /* Mask the AD bit in both responses unless it is
| + marked trusted. */
| + if (resplen > HFIXEDSZ)
| + {
| + if (ansp != NULL)
| + mask_ad_bit (ctx, *ansp);
| + else
| + mask_ad_bit (ctx, ans);
| + }
| + if (resplen2 != NULL && *resplen2 > HFIXEDSZ)
| + mask_ad_bit (ctx, *ansp2);
PS2, Line 547:
OK, we are in res_send.c:__res_context_send, which is some very
complicated code, but here we check in both possible responses and
potentially clear the ad bit.
| +
| /*
| * If we have temporarily opened a virtual circuit,
| * or if we haven't been asked to keep a socket open,
| * close the socket.
| */
| if ((v_circuit && (statp->options & RES_USEVC) == 0) ||
| (statp->options & RES_STAYOPEN) == 0) {
| __res_iclose(statp, false);
| --- resolv/resolv.h
| +++ resolv/resolv.h
| @@ -125,18 +125,19 @@ #define RES_BLAST \
| __glibc_macro_warning ("RES_BLAST is deprecated") 0x00020000
| #define RES_USE_EDNS0 0x00100000 /* Use EDNS0. */
| #define RES_SNGLKUP 0x00200000 /* one outstanding request at a time */
| #define RES_SNGLKUPREOP 0x00400000 /* -"-, but open new socket for each
| request */
| #define RES_USE_DNSSEC 0x00800000 /* use DNSSEC using OK bit in OPT */
| #define RES_NOTLDQUERY 0x01000000 /* Do not look up unqualified name
| as a TLD. */
| #define RES_NORELOAD 0x02000000 /* No automatic configuration reload. */
| +#define RES_TRUSTAD 0x04000000 /* Request AD bit, keep it in responses. */
PS2, Line 134:
OK, new constant.
|
| #define RES_DEFAULT (RES_RECURSE|RES_DEFNAMES|RES_DNSRCH)
|
| /*
| * Resolver "pfcode" values. Used by dig.
| */
| #define RES_PRF_STATS 0x00000001
| #define RES_PRF_UPDATE 0x00000002
| #define RES_PRF_CLASS 0x00000004
| --- resolv/tst-resolv-res_init-skeleton.c
| +++ resolv/tst-resolv-res_init-skeleton.c
| @@ -121,18 +121,19 @@ print_resp (FILE *fp, res_state resp)
| print_option_flag (fp, &options, RES_USEVC, "use-vc");
| print_option_flag (fp, &options, RES_ROTATE, "rotate");
| print_option_flag (fp, &options, RES_USE_EDNS0, "edns0");
| print_option_flag (fp, &options, RES_SNGLKUP,
| "single-request");
| print_option_flag (fp, &options, RES_SNGLKUPREOP,
| "single-request-reopen");
| print_option_flag (fp, &options, RES_NOTLDQUERY, "no-tld-query");
| print_option_flag (fp, &options, RES_NORELOAD, "no-reload");
| + print_option_flag (fp, &options, RES_TRUSTAD, "trust-ad");
PS2, Line 130:
OK, print the new constant.
| fputc ('\n', fp);
| if (options != 0)
| fprintf (fp, "; error: unresolved option bits: 0x%x\n", options);
| }
| }
|
| /* The search and domain directives. */
| if (resp->dnsrch[0] != NULL)
| {
...
| @@ -705,18 +706,27 @@ #define D63 "this-domain-name-is-as-long-as-the-previous-name--63-characters"
| .expected = "search example.com " H63 "." D63 ".example.org\n"
| "; search[0]: example.com\n"
| "; search[1]: " H63 "." D63 ".example.org\n"
| "; search[2]: " H63 "." D63 ".example.net\n"
| #undef H63
| #undef D63
| "nameserver 192.0.2.1\n"
| "; nameserver[0]: [192.0.2.1]:53\n"
| },
| + {.name = "trust-ad flag",
| + .conf = "options trust-ad\n"
| + "nameserver 192.0.2.1\n",
| + .expected = "options trust-ad\n"
| + "search example.com\n"
| + "; search[0]: example.com\n"
| + "nameserver 192.0.2.1\n"
| + "; nameserver[0]: [192.0.2.1]:53\n"
| + },
PS2, Line 723:
OK, in this test we set options trust-ad.
| { NULL }
| };
|
| /* Run the indicated test case. This function assumes that the chroot
| contents has already been set up. */
| static void
| test_file_contents (const struct test_case *t)
| {
| #if TEST_THREAD
| --- /dev/null
| +++ resolv/tst-resolv-trustad.c
| @@ -1,0 +87,28 @@ do_test (void)
| + struct resolv_test *aux = resolv_test_start
| + ((struct resolv_redirect_config)
| + {
| + .response_callback = response,
| + });
| +
| + /* By default, the resolver is not trusted, and the AD bit is
| + cleared. */
| +
| + static const unsigned char hand_crafted_query[] =
| + {
| + 10, 11, /* Transaction ID. */
| + 1, 0x20, /* Query with RD, AD flags. */
| + 0, 1, /* One question. */
| + 0, 0, 0, 0, 0, 0, /* The other sections are empty. */
| + 3, 'w', 'w', 'w', 7, 'e', 'x', 'a', 'm', 'p', 'l', 'e', 0,
| + 0, T_A, /* A query. */
| + 0, 1, /* Class IN. */
| + };
PS2, Line 105:
OK, default test.
| +
| + ++response_number;
| + response_ad_bit = false;
| +
| + unsigned char buffer[512];
| + memset (buffer, 255, sizeof (buffer));
| + query_ad_bit = true;
| + int ret = res_send (hand_crafted_query, sizeof (hand_crafted_query),
| + buffer, sizeof (buffer));
...
| @@ -1,0 +170,19 @@ do_test (void)
| + check_answer (buffer, ret, false);
| +
| + response_ad_bit = true;
| +
| + ++response_number;
| + memset (buffer, 0, sizeof (buffer));
| + ret = res_send (hand_crafted_query, sizeof (hand_crafted_query),
| + buffer, sizeof (buffer));
| + TEST_VERIFY (ret > 0);
| + check_answer (buffer, ret, true);
PS2, Line 179:
OK, here we expect an ad enabled answer.
| +
| + ++response_number;
| + memset (buffer, 0, sizeof (buffer));
| + ret = res_query ("www.example", C_IN, T_A, buffer, sizeof (buffer));
| + TEST_VERIFY (ret > 0);
| + check_answer (buffer, ret, true);
| +
| + /* AD bit set in generated queries. */
| + memset (buffer, 0, sizeof (buffer));
| --- support/resolv_test.c
| +++ support/resolv_test.c
| @@ -177,17 +177,19 @@ resolv_response_init (struct resolv_response_builder *b,
| b->buffer[1] = b->query_buffer[1];
|
| /* Initialize the flags. */
| b->buffer[2] = 0x80; /* Mark as response. */
| b->buffer[2] |= b->query_buffer[2] & 0x01; /* Copy the RD bit. */
| if (flags.tc)
| b->buffer[2] |= 0x02;
| b->buffer[3] = 0x80 | flags.rcode; /* Always set RA. */
| + if (flags.ad)
| + b->buffer[3] |= 0x20;
PS2, Line 186:
OK, set bit.
|
| /* Fill in the initial section count values. */
| b->buffer[4] = flags.qdcount >> 8;
| b->buffer[5] = flags.qdcount;
| b->buffer[6] = flags.ancount >> 8;
| b->buffer[7] = flags.ancount;
| b->buffer[8] = flags.nscount >> 8;
| b->buffer[9] = flags.nscount;
| b->buffer[10] = flags.adcount >> 8;
| --- support/resolv_test.h
| +++ support/resolv_test.h
| @@ -129,16 +129,19 @@ /* Special settings for constructing responses from the callback. */
| struct resolv_response_flags
| {
| /* 4-bit response code to incorporate into the response. */
| unsigned char rcode;
|
| /* If true, the TC (truncation) flag will be set. */
| bool tc;
|
| + /* If true, the AD (authenticated data) flag will be set. */
| + bool ad;
PS2, Line 138:
OK.
| +
| /* Initial section count values. Can be used to artificially
| increase the counts, for malformed packet testing.*/
| unsigned short qdcount;
| unsigned short ancount;
| unsigned short nscount;
| unsigned short adcount;
| };
|
--
Gerrit-Project: glibc
Gerrit-Branch: master
Gerrit-Change-Id: Ibfe0f7c73ea221c35979842c5c3b6ed486495ccc
Gerrit-Change-Number: 461
Gerrit-PatchSet: 2
Gerrit-Owner: Florian Weimer <fweimer@redhat.com>
Gerrit-Reviewer: Carlos O'Donell <carlos@redhat.com>
Gerrit-Comment-Date: Wed, 27 Nov 2019 19:29:47 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment
More information about the Libc-alpha
mailing list