From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3519 invoked by alias); 28 Feb 2020 02:01:19 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 3485 invoked by uid 89); 28 Feb 2020 02:01:18 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-10.9 required=5.0 tests=AWL,BAYES_00,KAM_SHORT,RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1 spammy=summer, D*edu.cn, sk:yilubu, yilu@bupt.edu.cn X-HELO: us-smtp-1.mimecast.com Received: from us-smtp-delivery-1.mimecast.com (HELO us-smtp-1.mimecast.com) (205.139.110.120) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 28 Feb 2020 02:01:17 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1582855275; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=OYiOgM4KQhjyKu1SCz4w3Ece9kxDwIk07jF7G5+h0VY=; b=ieG/IX++5sGJ1Fd1778GJEXhqmjy4Dcarar9fSEo4dW7QHPuA0tEXfWVnWwdPG93OZ+yWk s7kuQ1U/IXYL5jKOZ+REPpGVYvzrZH3pmfBUNqeoUSZ72Dzgi2xMFeqbeIq3iyMpZmL+r6 WsQjIUWITJzTeAeJuekbfw/8hgyhhSY= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-330-7v_fzoUQNBeyQbnHkuhYFQ-1; Thu, 27 Feb 2020 21:01:08 -0500 Received: from smtp.corp.redhat.com (int-mx06.intmail.prod.int.phx2.redhat.com [10.5.11.16]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id 7E11A800D53; Fri, 28 Feb 2020 02:01:07 +0000 (UTC) Received: from ovpn-116-56.phx2.redhat.com (ovpn-116-56.phx2.redhat.com [10.3.116.56]) by smtp.corp.redhat.com (Postfix) with ESMTP id E5EDB5C296; Fri, 28 Feb 2020 02:01:06 +0000 (UTC) Message-ID: Subject: Re: GSoC: some questions about the static analyzer pass From: David Malcolm To: "yilu@bupt.edu.cn" , gcc Date: Fri, 28 Feb 2020 02:01:00 -0000 In-Reply-To: <202002280931579734209@bupt.edu.cn>+93CCB1C73BAC95E2 References: <202002280931579734209@bupt.edu.cn>+93CCB1C73BAC95E2 User-Agent: Evolution 3.32.5 (3.32.5-1.fc30) MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2020-02/txt/msg00233.txt.bz2 On Fri, 2020-02-28 at 09:31 +0800, yilu@bupt.edu.cn wrote: > Hello everybody! I've learned about the projects in Google summer of > code, and I'm so interested in the static analyzer pass. I wonder > that where I can read the code of the static analyzer pass and how to > contact with the mental David Malcolm. Can anyone help me please? > Thank you so much. Hi! The code is in the gcc/analyzer subdirectory of the GCC source tree: https://gcc.gnu.org/git/?p=gcc.git;a=tree;f=gcc/analyzer Internal documentation is here: https://gcc.gnu.org/onlinedocs/gccint/Static-Analyzer.html Some other notes can be seen at: https://gcc.gnu.org/wiki/DavidMalcolm/StaticAnalyzer Hope this is helpful David