From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id 0486738A9403 for ; Tue, 11 Jan 2022 13:39:25 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 0486738A9403 Received: from mail-qv1-f69.google.com (mail-qv1-f69.google.com [209.85.219.69]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-214-csH-1D7iMxqOCwdYgr9Lyw-1; Tue, 11 Jan 2022 08:39:22 -0500 X-MC-Unique: csH-1D7iMxqOCwdYgr9Lyw-1 Received: by mail-qv1-f69.google.com with SMTP id gf14-20020a056214250e00b00411ba2ba63dso16043867qvb.21 for ; Tue, 11 Jan 2022 05:39:22 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:message-id:subject:from:to:date:in-reply-to :references:user-agent:mime-version:content-transfer-encoding; bh=qVozLGnAGqJdfZJn9nTHB0ELGr6Bal09wLzRPu68/Pk=; b=JJGgW0XiJtqdMK+X1gTdZhgviRnEVQWQgAUCvjs5QBl7484zU+GHVwwVPxiJw71nYG pHIK7RREGaHnaUla6LaJ+ykNQMkrKZbCXFR/9nlWRAwkx07Wjw+qmwoCRo+E/eyCo5N7 d5AcIJHU8yoTTqyRFlkoY9B7OE+ESoRHfIfZSIoRFwP7SCxMh1yMAcKsJQEloshwyyNY ckA7wiS4V9jBjiJSvjnqayxBEna7FiC7133F2Dq+uIZq77hqIdNfVceS+CB+jX4FRt3o tlOiR8uDh9jSAtZxVD1pFKQVtEjqSs7Ir5bFSXyOjj1jPqfnu9YI8wBL5i92GK9qTmJJ L1wQ== X-Gm-Message-State: AOAM533xSm/AiW4oxy8eaZA5TXK8MCVczYETOzFonITrwB3y9908kbYn 1favp9qBtoDAOMg1vkXQAS6jDuwG/IfGwCtp5iKehIaaal0HpvjaDQtTH4ODH0eOUaRyM1S41Q2 fjOs4POo= X-Received: by 2002:a05:622a:5d3:: with SMTP id d19mr3593641qtb.231.1641908362250; Tue, 11 Jan 2022 05:39:22 -0800 (PST) X-Google-Smtp-Source: ABdhPJw/Lb01wq9p4Lq2heGV6RqX6tHtorhbKVQJi+ZuA7WWLB3DrUj68CIlvbZNzMhWAMOd4zyzYQ== X-Received: by 2002:a05:622a:5d3:: with SMTP id d19mr3593629qtb.231.1641908362002; Tue, 11 Jan 2022 05:39:22 -0800 (PST) Received: from t14s.localdomain (c-73-69-212-193.hsd1.nh.comcast.net. [73.69.212.193]) by smtp.gmail.com with ESMTPSA id s27sm7568671qtc.0.2022.01.11.05.39.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Jan 2022 05:39:21 -0800 (PST) Message-ID: <4eec5fa69b9daedcec5361c2cc18df7f1ef397af.camel@redhat.com> Subject: Re: GSoC: Working on the static analyzer From: David Malcolm To: Mir Immad , gcc@gcc.gnu.org Date: Tue, 11 Jan 2022 08:39:20 -0500 In-Reply-To: References: User-Agent: Evolution 3.38.4 (3.38.4-1.fc33) MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-6.1 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, KAM_SHORT, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) 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: Tue, 11 Jan 2022 13:39:27 -0000 On Tue, 2022-01-11 at 11:03 +0530, Mir Immad via Gcc wrote: > Hi everyone, Hi, and welcome. > I intend to work on the static analyzer. Are these documents enough to > get > started: https://gcc.gnu.org/onlinedocs/gccint and > https://gcc.gnu.org/onlinedocs/gccint/Analyzer-Internals.html#Analyzer-Internals Yes. There are also some high-level notes here: https://gcc.gnu.org/wiki/DavidMalcolm/StaticAnalyzer Also, given that the analyzer is part of GCC, the more general introductions to hacking on GCC will be useful. I recommend creating a trivial C source file with a bug in it (e.g. a 3-line function with a use-after-free), and stepping through the analyzer to get a sense of how it works. Hope this is helpful; don't hesitate to ask questions. Dave