From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x52b.google.com (mail-ed1-x52b.google.com [IPv6:2a00:1450:4864:20::52b]) by sourceware.org (Postfix) with ESMTPS id B87B53858D33 for ; Wed, 22 Feb 2023 14:11:55 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org B87B53858D33 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ed1-x52b.google.com with SMTP id da10so32152508edb.3 for ; Wed, 22 Feb 2023 06:11:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:from:to:cc:subject:date:message-id:reply-to; bh=l99qCjtb+hbUMgATEO8UUHH6VMfId/ub+gZW6Mcdcb8=; b=oEdrpJ+ZsU4DeCf1V34TFd8j8Cq3RSmCFbxGz/cJMPjhJB5RDWPOu6TIwCEB60D1Qd h/c3nlMWfDJTQWfaMPeOMI9Qx3yIuQWIXRbfN9jf0Y4RPIiZizTN4jKP2VZb/KuRAIQk RCVR6Mq4qoVh9vnSvqc/1VlxDxkKWzIA3Y7JCIi0GEBJ33R6Sq0TUr3L2otrYb3qs7xM F0uy9+ABZQQuMSrQPl3sv9q5HYj5atJpmMBtibZwZEv70CCgogYuF6Io/hbdz2qKqhAz YPFDnRXbvYmpS7TjubO0hx48MS9tNgpMtfZF4Aw32ys58xSPw+8CFtO1Kbv70m4TmM0r rQxg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=references:to:cc:in-reply-to:date:subject:mime-version:message-id :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=l99qCjtb+hbUMgATEO8UUHH6VMfId/ub+gZW6Mcdcb8=; b=dPGCkK92Gibr/7IwiepQMZZbaBO2rnG5MkldvsUWUUCEXOl8nXNmMvH4sETNlV/yA9 1b6S7LaWqDBjC4f56bR9WlLiMpojT1L8M8OxIibw+Fjz8lOf8NUebJRP/TrFQOciZ+ac WgAhFaezoXChyjRHjGbjtZExPsP1O968IlS4nbaM8U1mMlPsf2w0IRoAfwR1InTIWsHC 4lSFk2Rxye4CV8o5e/5oSdON6rqmkpyUlgN6KFUdjgYgA55O8LmFpg2vIbXwTiJpebKQ T3OkpUsYt2tVSdKR/wc4QOa+eB2PhSfcLpNb4uY0T2Ajq4Byv47zCeBqSBFv8AHgUg1N 9FqA== X-Gm-Message-State: AO0yUKX/qk47xUfyYRdYPwhHvc6SZOPPFwjjuJLVPbBiGJCiSI6h2506 MUZzlcKrbFHewZu/oUiyZzrcCHmClM0= X-Google-Smtp-Source: AK7set+Hn20SiAkqNSktUAX6Bf4koD7aQU1qtgR0FkTc+2FLeqkugUzWLW8xEo2PL3STR0uROBqSqg== X-Received: by 2002:a05:6402:31fb:b0:4ac:d2bc:32f9 with SMTP id dy27-20020a05640231fb00b004acd2bc32f9mr8117000edb.4.1677075114286; Wed, 22 Feb 2023 06:11:54 -0800 (PST) Received: from smtpclient.apple ([2001:620:618:5c8:2:80b3:0:387]) by smtp.gmail.com with ESMTPSA id f29-20020a50a6dd000000b004ad6e3e4a26sm4460988edc.84.2023.02.22.06.11.53 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 22 Feb 2023 06:11:53 -0800 (PST) From: Shengyu Huang Message-Id: Content-Type: multipart/alternative; boundary="Apple-Mail=_058B13A0-B355-460C-85C1-B47FA1777183" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.200.110.1.12\)) Subject: Re: [GSoC][Static Analyzer] Some questions and request for a small patch to work on Date: Wed, 22 Feb 2023 15:11:42 +0100 In-Reply-To: <40fbb064f56845908f797400e5d9443b6cf97fe4.camel@redhat.com> Cc: gcc@gcc.gnu.org To: David Malcolm References: <960EE623-1B17-4321-B77E-FBCD9496BE1F@gmail.com> <40fbb064f56845908f797400e5d9443b6cf97fe4.camel@redhat.com> X-Mailer: Apple Mail (2.3731.200.110.1.12) X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,KAM_SHORT,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP 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: --Apple-Mail=_058B13A0-B355-460C-85C1-B47FA1777183 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi Dave, > But a better place to look would probably be in our bugzilla; see the > links on the wiki page: > https://gcc.gnu.org/wiki/StaticAnalyzer=20 > The "open bugs" list currently has 41 "RFE" bugs ("request for > enhancement" i.e. ideas for new features), some of which might make > suitable GSoC ideas, and/or be of interest to you (ideally both!) >=20 > Also, the GSoC wiki page has some project ideas: > https://gcc.gnu.org/wiki/SummerOfCode#Selected_Project_Ideas >=20 Yeah I was also searching for interesting ideas on the bugzilla, and I will= communicate to you once I have any more concrete ideas. >=20 > If you haven't seen it yet, you might find my guide to GCC for new > contributors helpful: > https://gcc-newbies-guide.readthedocs.io/en/latest/index.html >=20 Just started reading it. Thanks for sharing! > IIRC I saw you post a few days ago about trying to build gcc on your M2 > laptop; did you manage this? Building GCC trunk from a git checkout, > and hacking in a "hello world" warning would be a great place to start. > See the guide above for some hints on how to make this process quicker, > and let me know if you need help if you run into difficulties. Given > that the analyzer is about emitting warnings, rather than generating > code, it may be that although we don't yet fully support your hardware, > we *might* already support it enough to allow for hacking on the > analyzer, perhaps with some judicious choices of "configure" options. I just finished building it today on my laptop (Thanks Iain!). The GCC-12 b= ranch did not work (I got `configure: error: C preprocessor "/lib/cpp" fail= s sanity check`) but the development branch works for me (haven=E2=80=99t e= ncountered the potential pitfalls mentioned yet after testing it with some = simple programs). Besides, I have also set up everything on both my univers= ity server and the compile farm machine, so I can test my work on these two= machines as well. What do you mean by a =E2=80=9Chello world=E2=80=9D warning? You meant to w= rite some simple code like ``` #include int main () { int a; printf ("hello world\n"); return a; } ``` and to get the warning =E2=80=9Cwarning: use of uninitialized value =E2=80= =98a=E2=80=99 [CWE-457] [-Wanalyzer-use-of-uninitialized-value]=E2=80=9D?=20 Best, Shengyu --Apple-Mail=_058B13A0-B355-460C-85C1-B47FA1777183--