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 A8FF73857C4A for ; Fri, 15 Apr 2022 16:05:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A8FF73857C4A Received: from mail-qk1-f199.google.com (mail-qk1-f199.google.com [209.85.222.199]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id us-mta-574-FTIN01DXMJmcV6Us4nEV4A-1; Fri, 15 Apr 2022 12:05:33 -0400 X-MC-Unique: FTIN01DXMJmcV6Us4nEV4A-1 Received: by mail-qk1-f199.google.com with SMTP id bi19-20020a05620a319300b0069c16295aabso5843586qkb.1 for ; Fri, 15 Apr 2022 09:05:32 -0700 (PDT) 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=9/8HExLKKYzrhCHqKH5MlVKoCQJ4HPSi2jm8s4tU3yU=; b=qN7clMgqUbxblh771Eotcq6aj9VdnXDhnPHbPJiNSkr0EkW+weLRkE1tAcd5dZBK4P 0/DbdRi12nAGUF/X5mTIRFhyHy3EVyArRE+UZ5PE0KE1EUJkCOxJeB0W99BDdy/44SgV hHAxKxuqvBqGnYhfAomsbh4wGuIKd0arS0dAz/py5hw7odAlz/bmTUdl5bTbzKI8d5Eq dk2InEEdBYPHz5g/3NMGRXwen9e1VE080sWBGxdqNCRWKqKc0ceuxJPZWkfp8b4vSmoZ M4fABuTFKtpjYx0b5SXbr8DJHQEXCh5gamvsCBJ0zIWF8CyrBig9AWJHBhKgk2GlClLS xZ2g== X-Gm-Message-State: AOAM531e/G+iL6bR14PrukG2q7XKd+elDkXwsjniwwvtSYb5R9cGd6tV SKFEAsZm2bYnKzrZITEr6g6t+tz/3Fb757qGSIvU5aoKrHPI12tDoO+hBJy731YGTwyPnQrC6wc VQ5XvhRw= X-Received: by 2002:a05:6214:2268:b0:446:3ce0:d10d with SMTP id gs8-20020a056214226800b004463ce0d10dmr1672417qvb.36.1650038732140; Fri, 15 Apr 2022 09:05:32 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxP8E4RrUZzjODNyK+lEQpOORNqlAaZXAINKwDw4vdiU2XP8yBYKoYlV+m3lbtEmEd9IRBbEA== X-Received: by 2002:a05:6214:2268:b0:446:3ce0:d10d with SMTP id gs8-20020a056214226800b004463ce0d10dmr1672388qvb.36.1650038731796; Fri, 15 Apr 2022 09:05:31 -0700 (PDT) Received: from t14s.localdomain (c-73-69-212-193.hsd1.nh.comcast.net. [73.69.212.193]) by smtp.gmail.com with ESMTPSA id h5-20020ac85845000000b002edfd4b0503sm3286204qth.88.2022.04.15.09.05.30 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 15 Apr 2022 09:05:31 -0700 (PDT) Message-ID: Subject: Re: GSoC proposal for extending static analyzer From: David Malcolm To: Mir Immad , gcc@gcc.gnu.org Date: Fri, 15 Apr 2022 12:05:29 -0400 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: 7bit X-Spam-Status: No, score=-5.7 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, KAM_INFOUSMEBIZ, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H5, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_NONE, TXREP, T_SCC_BODY_TEXT_LINE 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: Fri, 15 Apr 2022 16:05:36 -0000 On Fri, 2022-04-15 at 19:58 +0530, Mir Immad wrote: > I've submitted a proposal for extending the static analyzer to support > posix fd APIs on GSoC website. Here is the Google docs link (gdocs > < > https://docs.google.com/document/d/188zxPUsuYcF-uGVYL_G1s2RVtHhJSZeQ4sha40H7374/edit?usp=sharing > >). > > > Please take a look and let me know what you think. > > Thank you. Thanks. FWIW, I'm getting an error when trying the URL given in your github repo: http://mirimmad.me/ but https://mirimmad.github.io/ seems to work - but it's almost empty. You don't give many specifics in your personal decription. One thing I'm not seeing is a sense of how proficient you are in various programming languages. In particular, how is your C and C++? How familiar are you with the debugger? Looking at your github, you seem to have relevant experience in compilers, which is great, but all your code appears to be with "managed" languages such as Ruby, Java, and Python [and Zeta :)]. Also, the proposal is to extend the analyzer to cover a specific domain: various POSIX APIs. Can you please give a sense of your level of expertise with these APIs? I was pleased at your initiative in trying to reuse the existing code to work with them. That said, I got the sense from your previous emails that you're not very familiar with the APIs, and that you chose them because that was the suggestion I had made on the wiki page. Obviously it's something you can learn on the way, but it would be better to accurately identify which areas you're going need to learn along the way, and the timetable and scope should reflect that. Hope this is constructive Dave