From owner-freebsd-hackers@freebsd.org Fri Oct 20 12:17:38 2017 Return-Path: Delivered-To: freebsd-hackers@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id A8B6AE3317E for ; Fri, 20 Oct 2017 12:17:38 +0000 (UTC) (envelope-from dvyukov@google.com) Received: from mail-it0-x242.google.com (mail-it0-x242.google.com [IPv6:2607:f8b0:4001:c0b::242]) (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 7582D74432 for ; Fri, 20 Oct 2017 12:17:38 +0000 (UTC) (envelope-from dvyukov@google.com) Received: by mail-it0-x242.google.com with SMTP id 72so13725644itl.5 for ; Fri, 20 Oct 2017 05:17:38 -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; bh=a2yWmVmiYQdGK0+9lG9QhVC7yMqNStlbEvhL0LczvuE=; b=bLmX1RI6hc4+6Kxjx37vTTPhL0mNKEEFvjBYj5WzgTd3zGeUkVyQ7zCxrnP1/s9CeT ilXiIWDKoP4mLB8t1ceLY+NUBkua4mv3FdOa8S/ROrspYn2mjDDqgTpenNo7dHZRKq0m TyELhRJS4hgYvPPeCKXFZ6V8ivzqP+TB6+i09r18R7nPo+yGrirg4pSelphrlUJgu8UP UlmxbTSMsU1BxU9z9hj9AjVZn+EGHjDMhvMLw8+Znr6lYwFvI8bcMNGgTEy8/bL8arS6 hUOt6JmeRTlaEedHCJgjCab8Nv+mgvWsA7AHu758loONqLqgLakYWeBhfbK1U5ilHLPP 5SjA== X-Gm-Message-State: AMCzsaXu0LHUuWMunWbGItA0+WwWDsdh5KQVm4shfL6OihWq3kj96z+z h6oGKpr8aN+AX9shuNbHDS5um9xO8PzEQ6fB1N43eJ4z4qs= X-Google-Smtp-Source: ABhQp+ROOA0vWE2Mn4BXdpkDGRlNPb7YDm8VCRBd1VI5MsSgqA680QkvG8UsMv+0jcuXR9BbTFaxuKefB+zxxe7h05M= X-Received: by 10.36.5.211 with SMTP id 202mr2195505itl.122.1508501857386; Fri, 20 Oct 2017 05:17:37 -0700 (PDT) MIME-Version: 1.0 Received: by 10.2.155.231 with HTTP; Fri, 20 Oct 2017 05:17:16 -0700 (PDT) In-Reply-To: References: From: Dmitry Vyukov Date: Fri, 20 Oct 2017 14:17:16 +0200 Message-ID: Subject: Re: syzkaller for freebsd To: Julian Elischer , freebsd-hackers@freebsd.org, syzkaller Content-Type: text/plain; charset="UTF-8" X-Mailman-Approved-At: Fri, 20 Oct 2017 15:40:57 +0000 X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 20 Oct 2017 12:17:38 -0000 On Fri, Oct 20, 2017 at 7:24 AM, Julian Elischer wrote: > On 19/10/17 8:05 pm, Dmitry Vyukov via freebsd-hackers wrote: >> >> Hello, >> >> Our team works on kernel testing and in particular on syzkaller system >> call fuzzer (https://github.com/google/syzkaller). It started as >> Linux-only fuzzer and has found 1000+ bugs in Linux. But we started >> evolving towards supporting more OSes recently and added basic FreeBSD >> support. I see that FreeBSD https://wiki.freebsd.org/IdeasPage >> mentions syzkaller/KASAN, so I am reaching out to you share our >> progress and discuss potential collaboration. Our main focus will >> probably stay around Linux/Fuchsia and we don't have any experience >> around FreeBSD kernel (e.g. implementing code coverage support and >> even building). But if there is an active interest on FreeBSD >> community side, we are ready to collaborate. >> >> So, I was able to run syzkaller in full setup (including VM >> management, console output monitoring, etc) and outlined the process >> here: >> https://github.com/google/syzkaller/blob/master/docs/freebsd.md >> >> To warm up your interest, here is list of things I've found so far. >> This is with off-the-shelf FreeBSD-11.1-RELEASE-amd64.qcow2 image. >> >> panic: ffs_write: type 0xfffff80003eee760 8 (0,0) >> https://pastebin.com/raw/Xm80kYSz >> This one even comes with a C reproducer (which is surprising, because >> syzkaller currently only generates/builds reproducers for Linux, still >> it somehow run on FreeBSD and triggered the crash): >> https://pastebin.com/raw/EZe8thej >> >> Fatal trap 12: page fault in atrtc_settime >> https://pastebin.com/raw/pFzSgNff >> >> Fatal trap 12: page fault in bufdone >> https://pastebin.com/raw/amHtWwQS >> >> Fatal trap 12: page fault in sctp_sosend >> https://pastebin.com/raw/Zf2hYwi7 >> >> Fatal trap 12: page fault in vnet_pf_uninit >> https://pastebin.com/raw/0AiJJz7D >> >> Fatal trap 9: general protection fault in udp_close >> https://pastebin.com/raw/DzKYRkSm >> >> There was also a bunch of silent crashes/hangs >> https://pastebin.com/raw/gp5HDmHZ >> >> But lots of things for full FreeBSD support are still missing. I've >> sketched a list here: >> >> https://github.com/google/syzkaller/blob/master/docs/freebsd.md#missing-things >> >> Some are harder to do, some are easier to do. Just running it with a >> debug kernel build (with debug info and as many debug checks as >> possible) would probably be the simplest one. >> >> Thanks, >> Dmitry Vyukov >> _______________________________________________ >> freebsd-hackers@freebsd.org mailing list >> https://lists.freebsd.org/mailman/listinfo/freebsd-hackers >> To unsubscribe, send any mail to "freebsd-hackers-unsubscribe@freebsd.org" > > > A quick thing to do would be to run the linux binary and therefore test our > linux API.. it feeds into the same backend, so it would already give a lot > of coverage. +mailing lists again Yes, it's mentioned here: https://github.com/google/syzkaller/blob/master/docs/freebsd.md#missing-things