From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 0JRuCWKrimHPNwEAgWs5BA (envelope-from ) for ; Tue, 09 Nov 2021 18:09:54 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id sPgVBWKrimGGJwAAB5/wlQ (envelope-from ) for ; Tue, 09 Nov 2021 17:09:54 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id A818B1C95F for ; Tue, 9 Nov 2021 18:09:53 +0100 (CET) Received: from localhost ([::1]:51444 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mkUd6-0000FF-U6 for larch@yhetil.org; Tue, 09 Nov 2021 12:09:52 -0500 Received: from eggs.gnu.org ([209.51.188.92]:59862) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mkUYs-0008Ue-Hs for guix-devel@gnu.org; Tue, 09 Nov 2021 12:05:31 -0500 Received: from [2001:470:142:3::e] (port=48528 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mkUYr-0005Ty-Le; Tue, 09 Nov 2021 12:05:30 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=pEQpWZYI0vaGy/UWDtuNH3jubOAuhhlV6bT6tMWm6zk=; b=VLcsRQe9mjR0+m2NyVG5 hZ0S6sJQowIFjhlWEAc66E2OQLw9Ogb3CUczIyYWXQvjPzP8Qf8lZA+DYtqhRnttvfE7fUVjTHNnZ +6EulNZ9qCGZaK7jGPI8lrI/Bx/hGx/Wg6ZkfGeqIb1I3Pq3l9BjjHL7G9xGJ73SGBa+SgMwpkX+9 kpAjjx4kl/4Sx0EaHCgKY9H/SPL25k+bbfl9EqsNmRkehkct9Y9RadC3hS2e/c0GDAG6bNXuE4Enp 5Q3RRD8ZJ1KS1Pje9qpJ/j5AjuG3e/pLh6dQnHTkydkVcXqDl1+/SJa8MrZ1Tk4kj3/iI7GR9YlCZ CmtzcPkm1lHxWA==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:63613 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mkUYq-0000rW-D5; Tue, 09 Nov 2021 12:05:29 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Giovanni Biscuolo Subject: Re: "Trojan Source" (CVE-2021-42574 and CVE-2021-42694): can 'guix lint' help someway? References: <87fssgi04h.fsf@xelera.eu> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 19 Brumaire an 230 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Tue, 09 Nov 2021 18:05:26 +0100 In-Reply-To: <87fssgi04h.fsf@xelera.eu> (Giovanni Biscuolo's message of "Mon, 01 Nov 2021 12:30:38 +0100") Message-ID: <87tugli7jd.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1636477793; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=pEQpWZYI0vaGy/UWDtuNH3jubOAuhhlV6bT6tMWm6zk=; b=F99VIh74m8BHb297p/o/C8ewqSsmT5uLur+WBsk7f6RdevUn7YZaUsdMqfMI/k1ti+YN+W eO+MuWS70LCjxrhPaXNGkiC12LhfjYlwD33cECH2wXMlXShr4Ev8su8GIOGgdkPdtE5woB UO52GNgnQ8WAdLsZ/UWzmVpY6c4I/2R2KevA88fkiGUfXKFFQESnAfBMAGpdU+lm7vbQdS OHFusEemJKkm2CuIUjE0imb5NPr9ryBWaJCD29YNwF6E/XDHXque22obI/msmTrJUHIgFX aSTPnMOcalBO8yoKB0edhPuIv6l/B2CHNvzLLr402jZ4YokgGHhAtDAxQGa7dA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1636477793; a=rsa-sha256; cv=none; b=rzd36t9TSnhnTcE5IfOXkZccicj9Rluh+WJWVIj3w1irpbkmH9akxFht4Kab7tkfN8SDt+ WLikEOIu4tJAvbPmRFjT2llrblZubxDDDzK3uYzEQfUMOEewd/Y5Oc+WUHYGXD1zh+01wy zxDkIVE1J5UjBuTZ3NQZlyP/6BOa75pvrLTTpu8NfA01Fp9UsHJVTi7qngv+9/MXk94CJf kMoxuzxaC4kI69EdM51bmCMAFH90L5ygfGSkLmsGWP9Tj6vobUvTcGghCWGDFLjgk6F1nG odF/+RvqnRLSCyUHvKIeXaIvGR4sbAV70ULWNgW9hFri2Qgp4pBUtVt42TL3Nw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=VLcsRQe9; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Spam-Score: -2.12 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=VLcsRQe9; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: A818B1C95F X-Spam-Score: -2.12 X-Migadu-Scanner: scn0.migadu.com X-TUID: gQ17S45xWfaC Hi! Giovanni Biscuolo skribis: > The details are published here: https://www.trojansource.codes/ [...] > Is there a way for "guix lint" to check for the listed (other?) > "dangerous" codepoints and warn code reviewers? That would be an expensive operation since that means unpacking the source and reading each and every file. =E2=80=98guix lint=E2=80=99 usuall= y does inexpensive checks. > Is it possible for the Guix community to start a coordinated effort to > analyze all the source code (ever?!?) published in out git repo to check > for the presence of this attack? That sounds unreasonable to me. > AFAIU there is not much Guix can do for the "Homoglyph attacks" > (CVE-2021-42694). Right. :-) Guile itself could be =E2=80=9Cvulnerable=E2=80=9D to this, though. (I=E2= =80=99m cautious about terminology; for example, the =E2=80=98sayHello=E2=80=99 example on their w= eb site uses CYRILLIC CAPITAL LETTER EN vs. LATIN CAPITAL LETTER H. Sure, their glyphs are almost =E2=80=9Cvisually indistinguishable=E2=80=9D, but they be= long to different alphabets, and I=E2=80=99m wary of the implicit imperialist sugge= stion that all things that roughly look like H should be replaced by H.) Thanks, Ludo=E2=80=99.