From nobody Thu Apr 9 05:49:09 2026 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 460B02E4247; Tue, 10 Mar 2026 12:14:44 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=192.134.164.83 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773144887; cv=none; b=IT4xKE2wYLAWMvW7mktsw2/2hk95GepxDOhWjn/5Zl9KsYFdbHZggnuS5Syhvy+40EJJYyWkfbLPmbSJgn0IUXGIsnh4C6WlQMgwFxNJRbf2BvEGO9paehyoJ8ob4ZMPl74ENPZP8vtTscXJzzsxBXMtIoNHetWiq4bTaddrQEc= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1773144887; c=relaxed/simple; bh=WZY+j1jOb/5oJkinzjGlrNxJ6DE0PFQD1A3B5nyl/cc=; h=From:To:Cc:Subject:Date:Message-Id:MIME-Version:Content-Type; b=FU3WfxxxvlIVHgwDwbfNRs+Jx8ZBgxIVvXmSBUti8d2q3KMuOVkyZmE8rsy10+XeTghU7N+z+NsVLYfeb+PWNjB3lGswexCD7ELsZPcWc7ZNqvXx5HXHv3GBzZNiurSPw+hLVpL0+9uDswaMwrHgjbDQKleYpwxqLAEocfzTCw4= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=inria.fr; spf=pass smtp.mailfrom=inria.fr; dkim=pass (1024-bit key) header.d=inria.fr header.i=@inria.fr header.b=QjPhFCY2; arc=none smtp.client-ip=192.134.164.83 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=inria.fr Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=inria.fr Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=inria.fr header.i=@inria.fr header.b="QjPhFCY2" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:to:cc:subject:date:message-id:mime-version: content-transfer-encoding; bh=7vXaR7uNjklQTsIlRNbN7RCGE3kyI898X5XIJemwXfs=; b=QjPhFCY2QGge6Gosyt5kqktyaNrjuHgjmDm1TN1zJPN0TZHP+G5/HzzP TKBqfMj6tTxPbzHEKZNMRt6e35rYVaHZVo0QkfRsEF7SfT6buTv2D40U7 TSurpJ8fUQtJZWLm3eLKdO2VPkiVX2RDXz2ZSZbyBVVo84xdDcxlkbcFz 8=; X-CSE-ConnectionGUID: 7OwTvUtiSt6bkwfaOoJLlQ== X-CSE-MsgGUID: 9zMvVuVUQ568qahYH4tQ+Q== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Julia.Lawall@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="6.23,112,1770591600"; d="scan'208";a="267084166" Received: from i80.paris.inria.fr (HELO i80.paris.inria.fr.) ([128.93.102.196]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 10 Mar 2026 13:14:37 +0100 From: Julia Lawall To: Jonathan Corbet Cc: Shuah Khan , workflows@vger.kernel.org, cocci@inria.fr, Nicolas Palix , Hu Haowen <2023002089@link.tyut.edu.cn>, Alex Shi , Yanteng Si , Dongliang Mu , linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, Federico Vaga , Carlos Bilbao , Avadhut Naik , LIU Haoyang Subject: [PATCH v2] coccinelle: update Coccinelle URL Date: Tue, 10 Mar 2026 13:14:31 +0100 Message-Id: <20260310121431.362091-1-Julia.Lawall@inria.fr> X-Mailer: git-send-email 2.39.5 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable The LIP6 URL no longer functions. Signed-off-by: Julia Lawall --- v2: corrected the character encoding, no other changes Documentation/dev-tools/coccinelle.rst | 2 +- Documentation/translations/it_IT/process/4.Coding.rst | 3 ++- Documentation/translations/sp_SP/process/4.Coding.rst | 3 ++- Documentation/translations/zh_CN/process/4.Coding.rst | 2 +- Documentation/translations/zh_TW/process/4.Coding.rst | 2 +- 5 files changed, 7 insertions(+), 5 deletions(-) diff --git a/Documentation/translations/zh_CN/process/4.Coding.rst b/Docume= ntation/translations/zh_CN/process/4.Coding.rst index 4cc35d410dbc..a00ad5d6b81e 100644 --- a/Documentation/translations/zh_CN/process/4.Coding.rst +++ b/Documentation/translations/zh_CN/process/4.Coding.rst @@ -216,7 +216,7 @@ Documentation/fault-injection/fault-injection.rst=E3=80= =82 =E5=8F=AF=E4=BB=A5=E5=9C=A8 https://sparse.wiki.kernel.org/index.php/Main_= page =E6=89=BE=E5=88=B0=EF=BC=89, =E7=84=B6=E5=90=8E=E5=8F=AF=E4=BB=A5=E9=80=9A=E8=BF=87=E5=9C=A8make=E5=91= =BD=E4=BB=A4=E4=B8=AD=E6=B7=BB=E5=8A=A0=E2=80=9CC=3D1=E2=80=9D=E5=9C=A8=E4= =BB=A3=E7=A0=81=E4=B8=8A=E8=BF=90=E8=A1=8C=E5=AE=83=E3=80=82 =20 -=E2=80=9CCoccinelle=E2=80=9D=E5=B7=A5=E5=85=B7 :ref:`http://coccinelle.lip= 6.fr/ ` +=E2=80=9CCoccinelle=E2=80=9D=E5=B7=A5=E5=85=B7 :ref:`https://coccinelle.gi= tlabpages.inria.fr/website/ ` =E8=83=BD=E5=A4=9F=E5=8F=91=E7=8E=B0=E5=90=84=E7=A7=8D=E6=BD=9C=E5=9C=A8= =E7=9A=84=E7=BC=96=E7=A0=81=E9=97=AE=E9=A2=98=EF=BC=9B=E5=AE=83=E8=BF=98=E5= =8F=AF=E4=BB=A5=E4=B8=BA=E8=BF=99=E4=BA=9B=E9=97=AE=E9=A2=98=E6=8F=90=E5=87= =BA=E4=BF=AE=E5=A4=8D=E6=96=B9=E6=A1=88=E3=80=82=E5=9C=A8 scripts/coccinelle=E7=9B=AE=E5=BD=95=E4=B8=8B=E5=B7=B2=E7=BB=8F=E6=89=93= =E5=8C=85=E4=BA=86=E7=9B=B8=E5=BD=93=E5=A4=9A=E7=9A=84=E5=86=85=E6=A0=B8=E2= =80=9C=E8=AF=AD=E4=B9=89=E8=A1=A5=E4=B8=81=E2=80=9D=EF=BC=9B=E8=BF=90=E8=A1= =8C =E2=80=9Cmake coccicheck=E2=80=9D=E5=B0=86=E8=BF=90=E8=A1=8C=E8=BF=99=E4= =BA=9B=E8=AF=AD=E4=B9=89=E8=A1=A5=E4=B8=81=E5=B9=B6=E6=8A=A5=E5=91=8A=E5=8F= =91=E7=8E=B0=E7=9A=84=E4=BB=BB=E4=BD=95=E9=97=AE=E9=A2=98=E3=80=82=E6=9C=89= =E5=85=B3=E8=AF=A6=E7=BB=86=E4=BF=A1=E6=81=AF=EF=BC=8C=E8=AF=B7=E5=8F=82=E9= =98=85 diff --git a/Documentation/translations/zh_TW/process/4.Coding.rst b/Docume= ntation/translations/zh_TW/process/4.Coding.rst index e90a6b51fb98..233e8718ed41 100644 --- a/Documentation/translations/zh_TW/process/4.Coding.rst +++ b/Documentation/translations/zh_TW/process/4.Coding.rst @@ -219,7 +219,7 @@ Documentation/fault-injection/fault-injection.rst=E3=80= =82 =E5=8F=AF=E4=BB=A5=E5=9C=A8 https://sparse.wiki.kernel.org/index.php/Main_= page =E6=89=BE=E5=88=B0=EF=BC=89, =E7=84=B6=E5=BE=8C=E5=8F=AF=E4=BB=A5=E9=80=9A=E9=81=8E=E5=9C=A8make=E5=91= =BD=E4=BB=A4=E4=B8=AD=E6=B7=BB=E5=8A=A0=E2=80=9CC=3D1=E2=80=9D=E5=9C=A8=E4= =BB=A3=E7=A2=BC=E4=B8=8A=E9=81=8B=E8=A1=8C=E5=AE=83=E3=80=82 =20 -=E2=80=9CCoccinelle=E2=80=9D=E5=B7=A5=E5=85=B7 :ref:`http://coccinelle.lip= 6.fr/ ` +=E2=80=9CCoccinelle=E2=80=9D=E5=B7=A5=E5=85=B7 :ref:`https://coccinelle.gi= tlabpages.inria.fr/website/ ` =E8=83=BD=E5=A4=A0=E7=99=BC=E7=8F=BE=E5=90=84=E7=A8=AE=E6=BD=9B=E5=9C=A8= =E7=9A=84=E7=B7=A8=E7=A2=BC=E5=95=8F=E9=A1=8C=EF=BC=9B=E5=AE=83=E9=82=84=E5= =8F=AF=E4=BB=A5=E7=88=B2=E9=80=99=E4=BA=9B=E5=95=8F=E9=A1=8C=E6=8F=90=E5=87= =BA=E4=BF=AE=E5=BE=A9=E6=96=B9=E6=A1=88=E3=80=82=E5=9C=A8 scripts/coccinelle=E7=9B=AE=E9=8C=84=E4=B8=8B=E5=B7=B2=E7=B6=93=E6=89=93= =E5=8C=85=E4=BA=86=E7=9B=B8=E7=95=B6=E5=A4=9A=E7=9A=84=E5=85=A7=E6=A0=B8=E2= =80=9C=E8=AA=9E=E7=BE=A9=E8=A3=9C=E4=B8=81=E2=80=9D=EF=BC=9B=E9=81=8B=E8=A1= =8C =E2=80=9Cmake coccicheck=E2=80=9D=E5=B0=87=E9=81=8B=E8=A1=8C=E9=80=99=E4= =BA=9B=E8=AA=9E=E7=BE=A9=E8=A3=9C=E4=B8=81=E4=B8=A6=E5=A0=B1=E5=91=8A=E7=99= =BC=E7=8F=BE=E7=9A=84=E4=BB=BB=E4=BD=95=E5=95=8F=E9=A1=8C=E3=80=82=E6=9C=89= =E9=97=9C=E8=A9=B3=E7=B4=B0=E4=BF=A1=E6=81=AF=EF=BC=8C=E8=AB=8B=E5=8F=83=E9= =96=B1 diff --git a/Documentation/translations/it_IT/process/4.Coding.rst b/Docume= ntation/translations/it_IT/process/4.Coding.rst index 3126342c4b4a..a2ec35e016b7 100644 --- a/Documentation/translations/it_IT/process/4.Coding.rst +++ b/Documentation/translations/it_IT/process/4.Coding.rst @@ -329,7 +329,8 @@ Sparse deve essere installato separatamente (se il vost= ra distribuzione non lo prevede, potete trovarlo su https://sparse.wiki.kernel.org/index.php/Ma= in_Page); pu=C3=B2 essere attivato sul codice aggiungendo "C=3D1" al comando make. =20 -Lo strumento "Coccinelle" (http://coccinelle.lip6.fr/) =C3=A8 in grado di = trovare +Lo strumento "Coccinelle" (https://coccinelle.gitlabpages.inria.fr/website= /) +=C3=A8 in grado di trovare una vasta variet=C3=A0 di potenziali problemi di codifica; e pu=C3=B2 inol= tre proporre soluzioni per risolverli. Un buon numero di "patch semantiche" per il ker= nel sono state preparate nella cartella scripts/coccinelle; utilizzando diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-too= ls/coccinelle.rst index c714780d458a..05614c469b47 100644 --- a/Documentation/dev-tools/coccinelle.rst +++ b/Documentation/dev-tools/coccinelle.rst @@ -34,7 +34,7 @@ of many distributions, e.g. : =20 Some distribution packages are obsolete and it is recommended to use the latest version released from the Coccinelle homepage at -http://coccinelle.lip6.fr/ +https://coccinelle.gitlabpages.inria.fr/website =20 Or from Github at: =20 diff --git a/Documentation/translations/sp_SP/process/4.Coding.rst b/Docume= ntation/translations/sp_SP/process/4.Coding.rst index 7cc347c34354..6c3750ccdea2 100644 --- a/Documentation/translations/sp_SP/process/4.Coding.rst +++ b/Documentation/translations/sp_SP/process/4.Coding.rst @@ -336,7 +336,8 @@ https://sparse.wiki.kernel.org/index.php/Main_Page si s= u distribuci=C3=B3n no lo empaqueta); luego, puede ejecutarse en el c=C3=B3digo agregando "C=3D1" a = su comando make. =20 -La herramienta "Coccinelle" (http://coccinelle.lip6.fr/) puede encontrar +La herramienta "Coccinelle" (https://coccinelle.gitlabpages.inria.fr/websi= te/) +puede encontrar una amplia variedad de posibles problemas de codificaci=C3=B3n; tambi=C3= =A9n puede proponer correcciones para esos problemas. Bastantes "parches sem=C3=A1nti= cos" para el kernel se han empaquetado en el directorio scripts/coccinelle;