From owner-freebsd-hackers@freebsd.org Wed Feb 28 02:39:02 2018 Return-Path: Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id AEE33F414EF for ; Wed, 28 Feb 2018 02:39:02 +0000 (UTC) (envelope-from carpeddiem@gmail.com) Received: from mail-io0-x230.google.com (mail-io0-x230.google.com [IPv6:2607:f8b0:4001:c06::230]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 403E67E838 for ; Wed, 28 Feb 2018 02:39:02 +0000 (UTC) (envelope-from carpeddiem@gmail.com) Received: by mail-io0-x230.google.com with SMTP id g21so1539522ioj.5 for ; Tue, 27 Feb 2018 18:39:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=tA3Ew35D0CVn2W3jIV+veXByZTEczAEfglDUDnWAe3s=; b=bSBEzJdf3paJh2vLlswPgZgcGNUgHYQRgKDDocw2xoRrsC3MH7Wl8UHv0nW6xdHf5P HWSF9xYMMQzndWqfOHJ+xeaBrLm6PX9LCesSbh4YM/UQFndITryRQVmYChKweEZT3J++ WfRHW0xcyqtbWV5tHpOwWDi8OHjL5tYCzbawRhlNxtUamwyasVSZvmurLJJFzYUsDfVg RauseCoWCPevvzSD95kQMIF5p2O5dhmTyexu+4rNoMcUN/FVkGvy8knmT/o9SIwInSPt DkkLCKJS+mkiXi7zd/vogIfe4iMejPFUxVGUtGYDkhzj27xsRKyPQQgjx8mgXmm5gPv6 aIAA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:in-reply-to:references:from :date:message-id:subject:to:cc; bh=tA3Ew35D0CVn2W3jIV+veXByZTEczAEfglDUDnWAe3s=; b=cyu78RbEE2f5X+UjU4JV00/SemBofkWHVpin/N055u0TFFQ8RE6ZEqADE48zrLABj0 JGdQq7iDQyv2zfxeIJc8jOAIo+kQunqgyal+ZwT8UqDRAzLhw5ihjU4kj0MI7jFJOQVo any6Eb2uPic1tzdQxbEW85u6KOiMggKkjD/sonFuCee81HWVg+vGYxZuJc/N+zvAOG0/ 2Cavm454hlVj+zQMtIO8r3AE1COywiYPRtyxx0ATfvdctcAQrZYOJMiqpH6PhMkfVcLj tDKHtv8QH6iTIRL2kGB6I0fupDdY7L5EQZPte9P0sG4P5ETt4s9AR0/dPxWX6EmNlU8/ 9nIg== X-Gm-Message-State: APf1xPA2zAF7UpZWW+z7gtTXw+Iuh22ePqIuwdohw2SLO0r8dNarYaOD DISCQZ1Ddta/sbRPmtu71+vAnJOlAsx+wUDD+yANSw== X-Google-Smtp-Source: AG47ELtxgC45wi1QA770s1BCpWkrGwPjXKxu7aMXccUryauysTtSEQgw5zCprjuDum6li+sz1G+ThbRSq7HYYvSnZHY= X-Received: by 10.107.134.95 with SMTP id i92mr18081954iod.210.1519785541674; Tue, 27 Feb 2018 18:39:01 -0800 (PST) MIME-Version: 1.0 Sender: carpeddiem@gmail.com Received: by 10.107.163.13 with HTTP; Tue, 27 Feb 2018 18:38:41 -0800 (PST) In-Reply-To: References: From: Ed Maste Date: Tue, 27 Feb 2018 21:38:41 -0500 X-Google-Sender-Auth: UbTJk8MnNGnHErJa-KhBTh6Wnm8 Message-ID: Subject: Re: syzkaller for freebsd again To: Dmitry Vyukov Cc: FreeBSD Hackers , syzkaller Content-Type: text/plain; charset="UTF-8" X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.25 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 28 Feb 2018 02:39:02 -0000 On 21 December 2017 at 04:26, Dmitry Vyukov wrote: > > I wanted to point out that freebsd support in syzkaller is still far > from being complete. We still need better descriptions of system calls > and kernel code coverage, report parsing need improvements as well. > For linux we are now finding 100+ bugs per months in a completely Hi Dmitry, Yes, I had one of my co-op students work on automation for setting up and running Syzkaller (in this case, on Packet.net's infrastructure). It's certainly still quite early for us; we hadn't yet done work on Syzkaller itself for FreeBSD. I think the most important change for us to make effective use of Syzkaller is going to be having kernel coverage support. I have two new Waterloo co-op students for this Jan-Apr work term and one of them is getting close to having a working kcov implementation; once this is ready we'll pick up the execution again. > We could setup a similar thing for freebsd, but for that we need > support for building freebsd kernel and GCE-compatible images. For > linux that code lives here: > https://github.com/google/syzkaller/blob/master/pkg/kernel/kernel.go > https://github.com/google/syzkaller/blob/master/pkg/kernel/generated.go Thanks, we'll take a look at this too. The FreeBSD release engineering team produces GCE images so much of the infrastructure exists already. Right now it's only straightforward to build FreeBSD from FreeBSD, so it might take some work to integrate this with the setup you describe here.