From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from JPN01-OS0-obe.outbound.protection.outlook.com (mail-os0jpn01olkn2023.outbound.protection.outlook.com [40.92.98.23]) by sourceware.org (Postfix) with ESMTPS id 058233858D35 for ; Thu, 29 Jun 2023 07:41:01 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 058233858D35 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=hotmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=hotmail.com ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=EjJS6SyqlPkJof02EdRRAIAxUtfMDVxecfZKOIFsSwICWiP4/fh93xmd33dxgx+Mp6nikVR6bA1tDoNwu1/22j/TJFiw/P/CsCp5m20+3UqYnJEob727mXXRUAw/xbd9vZAXr0B7ptIwOK/fFlkdp6UDzfiVI/959lHHpuetq+BR75a2L9XNI37DOw9gsDiJuBlsncad/Dty6xZOeRC/OSkrA7ncLu3gWmjlSw2q1yoP1dOngXTxHcLK0IZsldruLBVF2LlJpFiiOtOGYKLiXyNOwIog8IAEkznPzU4+oaqBMuF8Xy3uyFwdNTHDery9vC2/z0QldCPQET9HqfPC2A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=TIdkLA9mAzz5PGse8PElRw+3KrEgvCaec6rSXneetyI=; b=blu1uGDdutt17OXvzIN9Cf/rXieCGWJXvOO593c2diF4g0jDFZszDKiZ1Za7UYnnqMYcVf+aCImzOTtSif1ZqTmd+WWRhb881J9UD/s+HeFQYuWzY+HLwfYhqHJehZQ0tuUQFT+FE11oZ9m9S6XI/rJapvs9rXYcpXuWe6zpLrFU2AjYowEFrlYS2ydmITr0/MX1V+w+bCKa0MP1RE9KdAdq3r/Tao9PF9JRHi/AHL+tq9pIC5yAgPTFhoKVQl4uPJZAavEba0Bp/LgLSOBp1Lg6FtGJya6QWO6uGv7d9dkEcs4zBlsRzuYXPLKlJ6i8R3eBHmIqWIPIJQR727TDZQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=hotmail.com; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=TIdkLA9mAzz5PGse8PElRw+3KrEgvCaec6rSXneetyI=; b=JyCVdU8JEvIOub9eyy1CpP+FvriAcUL03NLxjfkXoFJq21Pf7Gzv6F+BVhAUvA7YayBn4U6bOBNMgiVRcpd4dS/oUBYH9A3pS9akD62uo3nDicxu6h8bk4DfgUgMNM1iEZRwlVdUBtql5L4xeKrb8qNuptUYAUZn7UaCMLctqcfYYC//bpw7dEPBycglD7YD1KYBJlRZj2U8vi5veWtgc7fhDkkbp+zPmbXmThVm4e/BTGOxHshWzPgDFqYLFn0KsuQJEwwrmWIZGjjwVc1nCGgTtUyQzUCsXWc/unR9WnMjZ3Gc/H9aVfPxMogD4fhz3LsQBHQ2kHKnQxNhgNWfdA== Received: from TYAP286MB0521.JPNP286.PROD.OUTLOOK.COM (2603:1096:402:34::14) by TY1P286MB3108.JPNP286.PROD.OUTLOOK.COM (2603:1096:400:326::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6521.26; Thu, 29 Jun 2023 07:40:57 +0000 Received: from TYAP286MB0521.JPNP286.PROD.OUTLOOK.COM ([fe80::c2df:6239:97e0:f7ae]) by TYAP286MB0521.JPNP286.PROD.OUTLOOK.COM ([fe80::c2df:6239:97e0:f7ae%5]) with mapi id 15.20.6521.026; Thu, 29 Jun 2023 07:40:57 +0000 From: Steven Sun To: Eric Feng CC: David Malcolm , "gcc@gcc.gnu.org" Subject: Re: Query status of GSoC project: CPyChecker Thread-Topic: Query status of GSoC project: CPyChecker Thread-Index: AQHZqNYsnFIDzS3mrUGdAyiAnh+xZa+gyKUAgACRiCE= Date: Thu, 29 Jun 2023 07:40:57 +0000 Message-ID: References: In-Reply-To: Accept-Language: en-US, zh-CN Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: x-tmn: [9+LXxJiJB7EFjTs6ffh4z+zjSlkO7nl2] x-ms-publictraffictype: Email x-ms-traffictypediagnostic: TYAP286MB0521:EE_|TY1P286MB3108:EE_ x-ms-office365-filtering-correlation-id: 7dec10a4-0ae2-446a-568d-08db78742d7c x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: oPvJ7UJsReOMJp2LasVqWPV9NfHapIQfEFNZjvoKJEWaL8mpMY7n0H+CGLysr23aY0AResp7Ilcxp8dglfJN1yVf90xMTRRxvTviAUtOotMxPH5zgbNpRebBOaE840f1GanP5C5D4MBqnASeksJBi4+H3Ht7VDdUZMwCJkn2Mtyohxr59oxmoSN7gP4HBxPDDTaexvMyBE0F5umlHi7ZVuhtLr+qc+JEXgqlkbI+WQeCR1QAd+SvTl1FK3RzmB0BF3OxSlUqR08kOq/lvL9mmKgiJ0uTC5TnnNHPEeN4yPOAtHbJDhhn/IG175YB8RKzxjTsK7CMPNSsXRor0eHMLN0qkTIewfwYNO3ub/Y+GUs4r+yDvSXdZBv94N3hpmD/MTlYIZglvL83Wkga/P4CbCCgkV6xeJBoIUzKlQRiFTyHKRFVj/V44HimK3RtsafkV+8isKXnJFjXeTcESeUrGbYo+/8ZxDXSPnIXHaFpV2ahWSG5iB8KE/SmUacZbEDlS4pRzPQBIdKa8h6cKGdOBcIAxWsIbCK0bfOEZoi5VlTt24Ht8qkJvtJ3Wuk7AAMI x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?Windows-1252?Q?uByZnkfREjiOR5CeRua9AuIwk57ZegI8G3vMURppz72riacYXb2uAAwG?= =?Windows-1252?Q?zN9dxtIoAf+fZ11eXQBPWlHGI5IXyITlsTGZPP6FpinSyOBl63SR6cau?= =?Windows-1252?Q?ek5arSAmzwWkKYh4DNlbCmKVL06iZhrY80pI2tmPg+dR4f+HHrYrwv25?= =?Windows-1252?Q?Pb35ulaRrLL4AKfIGV/Z+t+IQ6GQWJe/EIJapR151lKNBShbPkt82k12?= =?Windows-1252?Q?39MMFXBa6T5ifcEkHB94wz50aFdXTRhrqbMwPNinnHM/kuZxvIelvT/w?= =?Windows-1252?Q?yRGsgdiOqnx62dewddUYl/Zd319nzIpD6tnBcDYixG1e1Upj9kGunaWk?= =?Windows-1252?Q?0LeybHNo15JZpJ/RyAtKGgGUUwxdKYSPCYAhLLQmtn2AegAS6ObMoNcc?= =?Windows-1252?Q?VpwYpmxrjyniSSvngvWgnXouAyiSn4rfPbpRT6rEs3tcMemiD8IfJmOY?= =?Windows-1252?Q?De1I8SHLIOX4xEcnlRKo4esHP5NACMLbdnbT7/mw3fewWYluA165GCae?= =?Windows-1252?Q?/39eLkgS+XD72pJZmK1ChLeu6o2UfNNc7QXOouYMjajj9/vNACoA+ut4?= =?Windows-1252?Q?Q9B7keZcDyWdPg8vf741erWUl1NkOdY4mPRxXEXUb4xe0GL+xJ8JPNQJ?= =?Windows-1252?Q?DEQuCHMylhLGCFnTsRAdRH1ysu+ExFi5b+Lxgwnosf9hd1fUPsxOd2rd?= =?Windows-1252?Q?ZsS8bvm0/f+XEJMPw5lE4fRaubUqxLDKWkDKhl8k/WfoPtz0kCeF0hT9?= =?Windows-1252?Q?5Yiem5eCvJTgLaNxkfFp0TFcC4ckvp2mHwItQGiowcOs8oHEb833963h?= =?Windows-1252?Q?lHoS56gWIBMIOJIsFlcl8I5mOrOPCPfnGpVvSFqD/plM78XiOwh7B06I?= =?Windows-1252?Q?+fuBVTzXZFHP/hJxCWAw7+W23Giv9Pbn02XRTEqb07TjxhVfXDv2gtJ/?= =?Windows-1252?Q?d4dsJjiR8WCup3ddZwkWbcF/z3eE8ZoLQBSoHgmkxtyiy2n/0qNgJz8c?= =?Windows-1252?Q?TjXax7wi2jCrILITN1VCWMnTr44AnvlrY3+1Nr25F2zhCZkDwUpbgkBf?= =?Windows-1252?Q?F6mQvVsFK0hFHtnjYEF+Ya0WD+h4cIs3MBgLJlraQ6hDIqEllk8o0lm0?= =?Windows-1252?Q?YGEUb4SZ/sRCIvaIBj/Lcf922JVWAqq+LHvLy+H93m947R3p9NjPhAFn?= =?Windows-1252?Q?GGfWtGL7MdmxVNaUQgJnU8y2NQZ09NDT/Cej6uyoOnn1IJ0OstCYU3/P?= =?Windows-1252?Q?J9OZWqNO5cCx8GX9d+wq/meOqYqKBX1dRxcQgg2wTrdduZkvjmsnTXzV?= =?Windows-1252?Q?j7vPWg=3D=3D?= Content-Type: multipart/alternative; boundary="_000_TYAP286MB05219F01E7007C04FCB775E6B925ATYAP286MB0521JPNP_" MIME-Version: 1.0 X-OriginatorOrg: sct-15-20-4755-11-msonline-outlook-05f45.templateTenant X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: TYAP286MB0521.JPNP286.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-CrossTenant-Network-Message-Id: 7dec10a4-0ae2-446a-568d-08db78742d7c X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Jun 2023 07:40:57.7377 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000 X-MS-Exchange-Transport-CrossTenantHeadersStamped: TY1P286MB3108 X-Spam-Status: No, score=-1.4 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_ENVFROM_END_DIGIT,FREEMAIL_FROM,HTML_FONT_FACE_BAD,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: --_000_TYAP286MB05219F01E7007C04FCB775E6B925ATYAP286MB0521JPNP_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Hi Eric, > Thanks for reaching out. The project is still in very early stages. So > far we have taught the analyzer the basic behavior for > PyLong_FromLong, PyList_New, and Py_DECREF via known function > subclassing. Additionally, Py_INCREF is supported out of the box. > Reference count checking functionality remains the priority, but it is > not yet fully implemented. Great! > Regarding CPython versions, the goal is to just get things working on > one version first. I arbitrarily picked 3.9, but happy to consider > another version as an initial goal if it=92s more helpful to the CPython > community. I am not sure about this. cpychecker is more beneficial to CPython extension devs than to CPython devs, since it is almost impossible to let the cpychecker learn the most updated internal function definitions without handwritten attributes or seeing the whole function definitions. So it depends on the extension maintainer. I am observing this pattern that popular libraries are gradually upgrading. 3.9 and 3.10 is definitely the current mainstream. Saying so, I think 3.9 is fine for now, but it will be outdated after 2 to 3 years. Best, Steven --_000_TYAP286MB05219F01E7007C04FCB775E6B925ATYAP286MB0521JPNP_--