From owner-freebsd-doc@freebsd.org Wed Feb 17 15:33:27 2016 Return-Path: Delivered-To: freebsd-doc@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 E6A54AABE86 for ; Wed, 17 Feb 2016 15:33:27 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: from mail-pf0-x22d.google.com (mail-pf0-x22d.google.com [IPv6:2607:f8b0:400e:c00::22d]) (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 B74DA1C5D; Wed, 17 Feb 2016 15:33:27 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: by mail-pf0-x22d.google.com with SMTP id x65so13246552pfb.1; Wed, 17 Feb 2016 07:33:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:content-transfer-encoding:message-id:date :subject:from:in-reply-to:references:to:cc; bh=zK/JClB/b3KQG5IYma5eAOjGTw3bjnxBqzh94BUz8iw=; b=Mh3Us13GDk6T9YRF0DMfmvs5dT8zcxOjmxy9upsag1bqd5yaaWxpfhQmTdrZSNntf6 bBy6M7sKorFKZhMiEUGmyEwl7RHwjjJx5bdiYyNbfHr/V/9SzKUaMhHmfys9bLUhVTlT j1BmeP2vLqsMh1fqQqY3L/rrdWRsC5rBx4Rnphm7ZhCXFiyyrWEEM45WqGMpb0kLlScM JwdBoaQMHs7bsTf+BwYgEOBbuH0nD68KZtCZB4aM6cCF0+IRfeAxwQzmYCct2PZDOWgz 84IlgtHQIZHQg7W6ECWudfaqFvbOLk7X5/MVHROmj70k6mvz53XXNkLn2uCyKZHeIlmN VnOw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:content-type:mime-version :content-transfer-encoding:message-id:date:subject:from:in-reply-to :references:to:cc; bh=zK/JClB/b3KQG5IYma5eAOjGTw3bjnxBqzh94BUz8iw=; b=jyFUvNulEB8w0c2abNpYnlLv/tHHF7/jzfygSXhbfBdXOrKBvCHu5gnsTIRoubezCv gUN27kMORKdfE/IND36VM+PtT9hPVSq+Ooywpq+cPfwxlJhlBr0zX7GoBQGTaY9BP8iD XdA9YA+4t66Nr8cNwhIUKdW1PSDP68yXMQ45aAFZBtC109ArIuLsZ41DtkPYA03qPqKN wUPnz7AA/0osvdq9idCIvVaHY6nhfojwg8/yN+l4NKKrtvPKTWm9hkJNtTvk34oD1rKm RsExDuXlvyrFdYVurN7wCxJG+Ti6e4gScZ1nYNyM6d73tctCUOQsPwWYgX7vKFnfP6Ur 9u+A== X-Gm-Message-State: AG10YOSzsdkoOnWCBdjLvurwrqykniPFTn8Wjbr6ZDFxaQhElMHNsw1tgZdmX/xq4xDZvA== X-Received: by 10.98.75.200 with SMTP id d69mr3032245pfj.108.1455723207291; Wed, 17 Feb 2016 07:33:27 -0800 (PST) Received: from [127.0.0.1] ([216.113.200.184]) by smtp.gmail.com with ESMTPSA id h65sm3586378pfh.43.2016.02.17.07.33.19 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 17 Feb 2016 07:33:26 -0800 (PST) Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Mailer: BlackBerry Email (10.3.2.2876) Message-ID: <20160217153319.4382803.13333.3048@gmail.com> Date: Wed, 17 Feb 2016 07:33:19 -0800 Subject: Re: Checking FreeBSD kernel with static analyzer From: Russell Haley In-Reply-To: <86lh6jpn3p.fsf@desk.des.no> References: <56BB00C3.5060309@viva64.com> <56BC31B6.6010405@viva64.com> <20160215014958.4403283.67999.2948@gmail.com> <56C18380.90405@viva64.com> <86y4aktt97.fsf@desk.des.no> <56C401EB.3080800@viva64.com> <86lh6jpn3p.fsf@desk.des.no> To: =?utf-8?q?Dag-Erling_Sm=C3=B8rgrav?= Cc: Warren Block , freebsd-doc@freebsd.org, wblock@freebsd.org X-BeenThere: freebsd-doc@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Documentation project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 17 Feb 2016 15:33:28 -0000 Any chance you can divulge how you calculated that? Russ Sent=A0from=A0my=A0BlackBerry=A010=A0smartphone=A0on=A0the=A0Koodo=A0networ= k. =A0 Original Message =A0 From: Dag-Erling Sm=F8rgrav Sent: Wednesday, February 17, 2016 3:56 AM To: Svyatoslav Razmyslov Cc: Russell Haley; Warren Block; Andrey Karpov; freebsd-doc@freebsd.org; wb= lock@freebsd.org Subject: Re: Checking FreeBSD kernel with static analyzer Svyatoslav Razmyslov writes: > 46763fd4ca8a37f836c9bf2333f9d687509278f3 Thank you, that corresponds to svn revision r295235. DES --=20 Dag-Erling Sm=F8rgrav - des@des.no