From owner-freebsd-doc@freebsd.org Fri Feb 19 10:57:40 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 8609AAAEC12 for ; Fri, 19 Feb 2016 10:57:40 +0000 (UTC) (envelope-from export.toprank@gmail.com) Received: from mail-ig0-x24f.google.com (mail-ig0-x24f.google.com [IPv6:2607:f8b0:4001:c05::24f]) (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 55B2A1621 for ; Fri, 19 Feb 2016 10:57:40 +0000 (UTC) (envelope-from export.toprank@gmail.com) Received: by mail-ig0-x24f.google.com with SMTP id xg9so76079igb.2 for ; Fri, 19 Feb 2016 02:57:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:message-id:date:subject:from:to:content-type; bh=ceJO8jdps55Vpdux57c6B4XUxuce+RBmSXKbCCk8tUA=; b=Utt5yL3qqg578w/R4p41XyRWT9/i12566pmpfPjQ6Iccbq5O7Clv4QMwPDTu2ckhE8 xeLEavy/33Dmn0S6ESuYGPesUNXV35ZFFmUvSW8aTKu4U8q4EgK7zfLoWG4GFHwJueae 0BwXB6pnD69/A6dqF12ChmXjDxvrTSJVcWwEMicTMAZZuJrGgQOCZP5UWAohZzfnmWWR G5medDqw+pJGKcYFxc5O5ECF5zDCj9YsBp3qSTMd2meYLaW0a6rksS+ZjO9wtWG7ChnY qQpp7OZ2Vzn1TiNNeSpAAbip2fv0Wjt/I46ZmMgJ9GmMyWb32p2bBIfsx61TJznkh+5l 3Leg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:message-id:date:subject:from:to :content-type; bh=ceJO8jdps55Vpdux57c6B4XUxuce+RBmSXKbCCk8tUA=; b=bkP/7v+RbY12RlovB8EFORu9bHzNFwvta8x7Oq3k9BQgA6VlKqK7sN461MkVVQn7rl yuvSOHBNU/E3COf+kaNmzUtHOOzIQTeNDzXwaeqdzp4+X3fPwk6ksh/2nhNXI5m5noXh yE2pRVmRsiInjBbjblGyBf0Icp8E72ESQd4WPj15hGKaKesDr0E1Cgz5LxhEIRglKpsO zubsflWu2yL/1smmyQCcVxWCkpEjoKsfVkhBwgzVLdpKq3MZffOm7Mbr5+OmOVkoZkCy T0h1/ol5nfPJYOnuyQgwip9CUf3GRXWaUQqJDedeG6j8YBJTUWRX51Ah3r3f2eGakrsQ D4gQ== X-Gm-Message-State: AG10YOSETnGg0q0yiKUX9sxaW5zqIiDdSeHC7OOBmFjaflc31A2sl1XK5ec2QX3psYtPStWvC8DF MIME-Version: 1.0 X-Received: by 10.50.164.134 with SMTP id yq6mr7716129igb.13.1455879459704; Fri, 19 Feb 2016 02:57:39 -0800 (PST) Message-ID: <089e01229ed208178c052c1d5ab1@google.com> Date: Fri, 19 Feb 2016 10:57:39 +0000 Subject: Sub-3D CAD Services - India From: Donald Kevin To: freebsd-questions@FreeBSD.org, freebsd-doc@FreeBSD.org Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes Content-Transfer-Encoding: base64 X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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: Fri, 19 Feb 2016 10:57:40 -0000 DQoqRGVhciBvd25lciBvZiBGcmVlYnNkLm9yZywqDQoNCipJIGFtIERvbmFsZCBLZXZpbi1CdXNp bmVzcyBNYW5hZ2VyIGZvciBDQUQgM0QgTW9kZWwgQ29tcGFueSBsb2NhdGVkIGluDQpJbmRpYS5P dXIgQ29tcGFueSBkYWlseSBjcmVhdGVzIHRoZSAzZCBtb2RlbHMgZnJvbSAyZCBEcmF3aW5ncywN ClBERi9TY2Fucy9za2V0Y2hlcy4gT3VyIENBRCBlbmdpbmVlcnMgbWFrZSBhY2N1cmF0ZSBkaW1l bnNpb25hbCAzZCBtb2RlbA0KYW5kIFByZXNlbnRhdGlvbiBjb25jZXB0IE1vZGVscy4qDQoNCipT ZW5kIHlvdXIgZmlsZXMgYnkgTWFpbCBvciBGVFAuKg0KKk91ciBFbmdpbmVlcnMgd29yayAyNC83 LioNCipXZSBhcmUgZXhwZXJ0cyBpbiBTb2xpZHdvcmtzL0ludmVudG9yL0F1dG9DQUQvQ1JFTyoN CipEZWxpdmVyeSBXaXRoaW4gMjQgSG91cnMqDQoqUGxlYXNlIHNlbmQgeW91ciBmaWxlcyBzbyB3 ZSBjYW4gZGVsaXZlciBzYW1wbGUgdG8gcmV2aWV3IG91ciBxdWFsaXR5IGFuZA0Kd2UgYXJlIGxv b2tpbmcgZm9yIGxvbmd0ZXJtIGJ1c2luZXNzIHBhcnRuZXJzaGlwLioNCipXZSBjaGFyZ2UgSG91 cmx5IDcuNSQgVVNEIHBlciBIb3VyIGZvciBDQUQgc2VydmljZXMuKg0KKldlIGNoYXJnZSA5NTAk IFVTRCBmb3IgQ0FEIEVuZ2luZWVyIG9uIE1vbnRobHkgYmFzaXMgd29yay4qDQoqV2UgYWNjZXB0 IFBheXBhbCBvciBCQU5LIHRyYW5zZmVyIHBheW1lbnQuKg0KDQoqTG9va2luZyBmb3IgbG9uZy10 ZXJtIGJ1c2luZXNzIGFzc29jaWF0aW9uIHNvIHBsZWFzZSByZXBseSB3aXRoIHlvdXINCnJlcXVp cmVtZW50IO+BiioNCipUaGFua3MhKg0KDQoqQmVzdCBSZWdhcmRzLCoNCipEb25hbGQgS2V2aW4q DQoqQnVzaW5lc3MgTWFuZ2VyKg0K From owner-freebsd-doc@freebsd.org Fri Feb 19 15:19:49 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 27605AADF59 for ; Fri, 19 Feb 2016 15:19:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 166381B6D for ; Fri, 19 Feb 2016 15:19:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: by mailman.ysv.freebsd.org (Postfix) id 1615BAADF58; Fri, 19 Feb 2016 15:19:49 +0000 (UTC) Delivered-To: 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 15B20AADF57 for ; Fri, 19 Feb 2016 15:19:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from u17828947.onlinehome-server.com (u17828947.onlinehome-server.com [IPv6:2607:f1c0:835:5c00::2a:f8a6]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id EE60C1B68 for ; Fri, 19 Feb 2016 15:19:48 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from [45.32.218.216] (unknown [45.32.218.216]) by u17828947.onlinehome-server.com (Postfix) with ESMTPSA id 7AC91295F9 for ; Sat, 20 Feb 2016 02:10:10 +1100 (EST) MIME-Version: 1.0 Subject: Security Update Code:SYUK0303 To: doc@FreeBSD.org From: "Securityt Upgrade" Date: Fri, 19 Feb 2016 15:10:08 +0000 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Description: Mail message body X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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: Fri, 19 Feb 2016 15:19:49 -0000 = Dear doc@FreeBSD.org Your mailbox quota is full. This may lead to email system failure and you will not be able to receive m= ore mails henceforth. To continue using your mailbox, you need to upgrade your mailbox quota imme= diatey. This service is free. = = Upgrade Mailbox Quota Here = Once your account upgrade is completed, your mailbox will work effectively. = Mail Center 2016=20 From owner-freebsd-doc@freebsd.org Fri Feb 19 15:20:55 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 8C19EAAE00B for ; Fri, 19 Feb 2016 15:20:55 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from u17828947.onlinehome-server.com (u17828947.onlinehome-server.com [IPv6:2607:f1c0:835:5c00::2a:f8a6]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 6FE821CBA for ; Fri, 19 Feb 2016 15:20:55 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from [45.32.218.216] (unknown [45.32.218.216]) by u17828947.onlinehome-server.com (Postfix) with ESMTPSA id 449C62995D for ; Sat, 20 Feb 2016 02:10:33 +1100 (EST) MIME-Version: 1.0 Subject: Security Update Code:SYUK0303 To: freebsd-doc@FreeBSD.org From: "Securityt Upgrade" Date: Fri, 19 Feb 2016 15:10:31 +0000 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Description: Mail message body X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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: Fri, 19 Feb 2016 15:20:55 -0000 = Dear freebsd-doc@FreeBSD.org Your mailbox quota is full. This may lead to email system failure and you will not be able to receive m= ore mails henceforth. To continue using your mailbox, you need to upgrade your mailbox quota imme= diatey. This service is free. = = Upgrade Mailbox Quota Here = Once your account upgrade is completed, your mailbox will work effectively. = Mail Center 2016=20 From owner-freebsd-doc@freebsd.org Fri Feb 19 15:22:49 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 90B54AAE18B for ; Fri, 19 Feb 2016 15:22:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 7FC831EEC for ; Fri, 19 Feb 2016 15:22:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: by mailman.ysv.freebsd.org (Postfix) id 7F808AAE18A; Fri, 19 Feb 2016 15:22:49 +0000 (UTC) Delivered-To: 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 7F1D6AAE189 for ; Fri, 19 Feb 2016 15:22:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from u17828947.onlinehome-server.com (u17828947.onlinehome-server.com [IPv6:2607:f1c0:835:5c00::2a:f8a6]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 63F861EEA for ; Fri, 19 Feb 2016 15:22:49 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from [45.32.218.216] (unknown [45.32.218.216]) by u17828947.onlinehome-server.com (Postfix) with ESMTPSA id 6A4BC29E01 for ; Sat, 20 Feb 2016 02:11:09 +1100 (EST) MIME-Version: 1.0 Subject: Security Update Code:SYUK0303 To: doc@FreeBSD.org From: "Securityt Upgrade" Date: Fri, 19 Feb 2016 15:11:07 +0000 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Description: Mail message body X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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: Fri, 19 Feb 2016 15:22:49 -0000 = Dear doc@FreeBSD.org Your mailbox quota is full. This may lead to email system failure and you will not be able to receive m= ore mails henceforth. To continue using your mailbox, you need to upgrade your mailbox quota imme= diatey. This service is free. = = Upgrade Mailbox Quota Here = Once your account upgrade is completed, your mailbox will work effectively. = Mail Center 2016=20 From owner-freebsd-doc@freebsd.org Fri Feb 19 15:27:11 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 8178EAAE2BB for ; Fri, 19 Feb 2016 15:27:11 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from u17828947.onlinehome-server.com (u17828947.onlinehome-server.com [IPv6:2607:f1c0:835:5c00::2a:f8a6]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 660751079 for ; Fri, 19 Feb 2016 15:27:11 +0000 (UTC) (envelope-from verify@promailservices.com) Received: from [45.32.218.216] (unknown [45.32.218.216]) by u17828947.onlinehome-server.com (Postfix) with ESMTPSA id 9C17E2AA74 for ; Sat, 20 Feb 2016 02:12:41 +1100 (EST) MIME-Version: 1.0 Subject: Security Update Code:SYUK0303 To: freebsd-doc@FreeBSD.org From: "Securityt Upgrade" Date: Fri, 19 Feb 2016 15:12:39 +0000 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Content-Description: Mail message body X-Content-Filtered-By: Mailman/MimeDel 2.1.20 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: Fri, 19 Feb 2016 15:27:11 -0000 = Dear freebsd-doc@FreeBSD.org Your mailbox quota is full. This may lead to email system failure and you will not be able to receive m= ore mails henceforth. To continue using your mailbox, you need to upgrade your mailbox quota imme= diatey. This service is free. = = Upgrade Mailbox Quota Here = Once your account upgrade is completed, your mailbox will work effectively. = Mail Center 2016=20 From owner-freebsd-doc@freebsd.org Fri Feb 19 16:22:50 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 2C2C3AADC26 for ; Fri, 19 Feb 2016 16:22:50 +0000 (UTC) (envelope-from wblock@wonkity.com) Received: from wonkity.com (wonkity.com [67.158.26.137]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "wonkity.com", Issuer "wonkity.com" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id F136518E6 for ; Fri, 19 Feb 2016 16:22:49 +0000 (UTC) (envelope-from wblock@wonkity.com) Received: from wonkity.com (localhost [127.0.0.1]) by wonkity.com (8.15.2/8.15.2) with ESMTPS id u1JGMnv9033328 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Fri, 19 Feb 2016 09:22:49 -0700 (MST) (envelope-from wblock@wonkity.com) Received: from localhost (wblock@localhost) by wonkity.com (8.15.2/8.15.2/Submit) with ESMTP id u1JGMmM9033325; Fri, 19 Feb 2016 09:22:48 -0700 (MST) (envelope-from wblock@wonkity.com) Date: Fri, 19 Feb 2016 09:22:48 -0700 (MST) From: Warren Block To: Russell Haley cc: Svyatoslav Razmyslov , Fehmi Noyan ISI , Andrey Karpov , freebsd-doc@freebsd.org Subject: Re: Checking FreeBSD kernel with static analyzer In-Reply-To: Message-ID: References: <20160218165425.4382803.23287.3091@gmail.com> User-Agent: Alpine 2.20 (BSF 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset=US-ASCII X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.4.3 (wonkity.com [127.0.0.1]); Fri, 19 Feb 2016 09:22:49 -0700 (MST) 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: Fri, 19 Feb 2016 16:22:50 -0000 On Thu, 18 Feb 2016, Russell Haley wrote: > Thanks warren, send me the csv when you get a chance. I'd really > appreciate it. You implied in previous emails that there is a larger > discussion going on about reviewing the data. Is there a public chat > anywhere? I see this as an excellent learning tool for studying the > code. The code review is now open: https://reviews.freebsd.org/D5245 The unrestricted use original zip file supplied by PVS contained both text and CSV report files. It is available here: https://people.freebsd.org/~wblock/files/PVS-Studio-log-freebsd.zip Thanks again to PVS for providing this!