From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from www523.your-server.de (www523.your-server.de [159.69.224.22]) by sourceware.org (Postfix) with ESMTPS id 5C048385C30F for ; Thu, 9 Jun 2022 09:04:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 5C048385C30F Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=tim-lange.me Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tim-lange.me DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tim-lange.me; s=default2108; h=Content-Type:MIME-Version:Message-Id:To: Subject:From:Date:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References; bh=EbUPQIefMRLS/wjf6PrCBTCYFA5FG/1+9ZE6rz4f37E=; b=ueiIvIhqDlte+ICq5y16kJTHi9 dxB1EKomVslrZ4A+x/zuQ2s4N+yVAtWhFx+fyN0aaSe8FGIqU7nCc+PqPJTA8VD5pLrU2ji5QZGSo SonmY2ECwlcjU5Xths7kUMG+Vz0ow+g5sjQW1+QvRPk5gq3gSdSe0cK6GIOfjo5XoQVakbpSc/hIY 5OlwyekPs4HaGmGq86sFTvkR4/P4eP964O3t4cALLU+3orostv+3XogXtwZGeUmuL8/nyHQqxJVUn LerlZWU1rI1tS1ytxdT3KChi80yh/k9L/fxy/VbEUXg5XyGvt9Jk/Sb/C8nryyERwxKr3q3S05Sdf XcCXZ4kQ==; Received: from sslproxy06.your-server.de ([78.46.172.3]) by www523.your-server.de with esmtpsa (TLSv1.3:TLS_AES_256_GCM_SHA384:256) (Exim 4.92.3) (envelope-from ) id 1nzE5m-0002xf-Mc; Thu, 09 Jun 2022 11:04:38 +0200 Received: from [2a02:908:1864:dbe0::4d53] (helo=fedora) by sslproxy06.your-server.de with esmtpsa (TLSv1.3:TLS_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nzE5m-0008b2-FM; Thu, 09 Jun 2022 11:04:38 +0200 Date: Thu, 09 Jun 2022 11:04:32 +0200 From: Tim Lange Subject: GSoC To: GCC Mailing List , David Malcolm Message-Id: X-Mailer: geary/40.0 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed X-Authenticated-Sender: mail@tim-lange.me X-Virus-Scanned: Clear (ClamAV 0.103.6/26567/Thu Jun 9 10:06:06 2022) X-Spam-Status: No, score=-1.4 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, KAM_INFOUSMEBIZ, KAM_SHORT, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gcc@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 09 Jun 2022 09:04:42 -0000 Hi everyone, my name is Tim and I'm also working on the static analyzer this summer. Some of you might already noticed my nooby questions in the IRC ;). Specifically, I'll be working on extending the analyzer with several smaller warnings that the clang analyzer already has. David created a meta-bug[0] with the results of the discussion between him and me about the gap and what seems to be useful. I won't do all of those but rather look how many of them I'm able to get done until September. I will begin with a Cast Size warning. This emits a warning when the tracked allocation size is not a multiple of the pointee's size, e.g., when casting malloc(10) to int*. Furthermore, in preparation for the official coding phase, I played around a bit with a state machine that tracks whether an int is zero or not. So this is probably my next candidate after cast size. - Tim [0] https://gcc.gnu.org/bugzilla/showdependencytree.cgi?id=105887&hide_resolved=1