From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 83659 invoked by alias); 30 Aug 2017 19:05:51 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 83557 invoked by uid 89); 30 Aug 2017 19:05:50 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.1 required=5.0 tests=BAYES_00,BODY_8BITS,GARBLED_BODY,GIT_PATCH_2,KAM_ASCII_DIVIDERS,RCVD_IN_DNSWL_NONE,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2 spammy=mailed, groupsgooglecom, sk:groups., groups.google.com X-HELO: mail-pf0-f175.google.com Received: from mail-pf0-f175.google.com (HELO mail-pf0-f175.google.com) (209.85.192.175) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 30 Aug 2017 19:05:40 +0000 Received: by mail-pf0-f175.google.com with SMTP id r187so1074761pfr.3 for ; Wed, 30 Aug 2017 12:05:40 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=S0fgnbcny3HoTWRM9Poju9fNOOFe5nuoe4cKJocA1HA=; b=hhQGnoybO80VcNK9uWVDiFdbhu15KYUmwYdCge/7Gn5+o7pcU1g8G8wU52lQXxiY1N thB51/TwTyAlIIeXtCxsfQCuiOKg9A22LhbcGjEudt5ZV2mmPPRXZufGz6R+yc6xnM7o avLGlVKWgRMqksLEjMHxmk/tieifYXZgYXUdFwt4jYlKHAd9ZXbzzwYcQq/EKRi5W7Tz /5Ht4EdPoYtUK08j1SYhU31cL75hbThtY2kd1HlEAyG6opo7PhPTESbD4dT+ol8p0lNf wx2COr4yN1TvTBHjCors5dZMdH1/W7FpKfwSlXQaZB/QH6TYrTm39plgobe8anQYKA4B ksQQ== X-Gm-Message-State: AHYfb5hriFwKsTTwRzkkV9/Z1KqHqEobU1L2/CQNf2A9mwgp1a+ZQ3db hCWtGo0LxakcRn9mzy0tJDnjADy6QpGx X-Google-Smtp-Source: ADKCNb5UInxtVivyFanEIk60FTYIE+g/kmYNsU7o45zikMP7UpuHZDGmcxSYq0mtbIX/iJs+y3lAfQRFE+iqSVMVx28= X-Received: by 10.84.231.9 with SMTP id f9mr3209413plk.373.1504119938833; Wed, 30 Aug 2017 12:05:38 -0700 (PDT) MIME-Version: 1.0 Received: by 10.100.237.144 with HTTP; Wed, 30 Aug 2017 12:05:17 -0700 (PDT) In-Reply-To: References: <234840fd-a06a-4dfd-a1c5-254e26144754.weixi.wwx@antfin.com> From: "Dmitry Vyukov via gcc-patches" Reply-To: Dmitry Vyukov Date: Wed, 30 Aug 2017 22:36:00 -0000 Message-ID: Subject: Re: Add support to trace comparison instructions and switch statements To: =?UTF-8?B?5ZC05r2N5rWgKOatpOW9vCk=?= Cc: gcc-patches , Jeff Law , wishwu007 , syzkaller , Jakub Jelinek , Yuri Gribov Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-IsSubscribed: yes X-SW-Source: 2017-08/txt/msg01753.txt.bz2 On Sat, Aug 5, 2017 at 11:53 AM, =E5=90=B4=E6=BD=8D=E6=B5=A0(=E6=AD=A4=E5= =BD=BC) wrote: > Hi all > Is it worth adding my codes to gcc ? Are there some steps I need to do ? > Could somebody tell me the progress ? FYI, we've mailed a Linux kernel change that uses this instrumentation: https://groups.google.com/forum/#!topic/syzkaller/r0ARNVV-Bhg Another reason to have this in gcc. Can somebody from gcc maintainers take a look at this? Jakub? Thanks > Maybe there should be a project like libfuzzer to solve bugs in program. > > Wish Wu > ------------------------------------------------------------------ > From:Wish Wu > Time:2017 Jul 21 (Fri) 13:38 > To:gcc ; gcc-patches ; Jeff Law= > Cc:wishwu007 > Subject:Re: Add support to trace comparison instructions and switch state= ments > > > Hi Jeff > > I have signed the copyright assignment, and used the name 'Wish Wu' . > Should I send you a copy of my assignment ? > > The attachment is my new patch with small changes. > Codes are checked by ./contrib/check_GNU_style.sh, except some special fi= les. > > With > > ------------------------------------------------------------------ > From:Jeff Law > Time:2017 Jul 14 (Fri) 15:37 > To:Wish Wu ; gcc ; gcc-patches > Cc:wishwu007 > Subject:Re: Add support to trace comparison instructions and switch state= ments > > > On 07/10/2017 06:07 AM, =E5=90=B4=E6=BD=8D=E6=B5=A0(=E6=AD=A4=E5=BD=BC) w= rote: >> Hi >> >> I write some codes to make gcc support comparison-guided fuzzing. >> It is very like http://clang.llvm.org/docs/SanitizerCoverage.html#tracin= g-data-flow . >> With -fsanitize-coverage=3Dtrace-cmp the compiler will insert extra inst= rumentation around comparison instructions and switch statements. >> I think it is useful for fuzzing. :D >> >> Patch is below, I may supply test cases later. > Before anyone can really look at this code you'll need to get a > copyright assignment on file with the FSF. > > See: > https://gcc.gnu.org/contribute.html > > If you've already done this, please let me know and I'll confirm with > the FSF copyright clerk. > > Jeff