From owner-freebsd-hackers@freebsd.org Fri Apr 15 18:52:59 2016 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 15DAAAEEC83 for ; Fri, 15 Apr 2016 18:52:59 +0000 (UTC) (envelope-from pfg@FreeBSD.org) Received: from nm44-vm10.bullet.mail.bf1.yahoo.com (nm44-vm10.bullet.mail.bf1.yahoo.com [216.109.115.46]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id BF481128E for ; Fri, 15 Apr 2016 18:52:58 +0000 (UTC) (envelope-from pfg@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s2048; t=1460745962; bh=99QO7jgf6mEdyULNW9/o6VWgy15RcUp6dqKevbXh2nQ=; h=To:From:Subject:Date:From:Subject; b=Cw2H51IepBTFLIlpsrwPMe1lgFedlP/Y+L/GEbJ0SFguxWkoh8CkMTWc3r9yO0OEV2fegB5vLQbaN8bJXGMxvYdZQmihTmwwPkHojkthEI5UxggLFqQFnD/rQbJ5wI4bUgN2CfqMO6vqBG0+NGl4sErMGamCLUqBPHN0w0/CkN6qKbcd6UcQDoRKembMk5X20kmvE7zWS7dZylRF6t7ySUj03V3rcFtsPxQq0+m4EZhK+qSi6sG198AR56TpYLp+voVZ7VYv6mq+p3XUUe3pCZBS7Ma2VPfwE1TTFkJw9nUnEajuE5AjwFPr3MMriw4nke9sSi44Kb6QrNeQwFQtNg== Received: from [66.196.81.170] by nm44.bullet.mail.bf1.yahoo.com with NNFMP; 15 Apr 2016 18:46:02 -0000 Received: from [98.139.211.196] by tm16.bullet.mail.bf1.yahoo.com with NNFMP; 15 Apr 2016 18:46:02 -0000 Received: from [127.0.0.1] by smtp205.mail.bf1.yahoo.com with NNFMP; 15 Apr 2016 18:46:02 -0000 X-Yahoo-Newman-Id: 441500.20619.bm@smtp205.mail.bf1.yahoo.com X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: TC6CFwkVM1l7Qk9RVdT_gCFVPKfs0RXmV_.3a0fCpxyeAYb GOy9zSBUQ64qHAV.oANb6wcby.FyzFKayzxSMOuAaUldQURiQyCnz9F3.ZMS O8dunKcyHjM0Eeql6X7RcBNtI1YmQXo1EbtaoKZJ_jU7n.EaS71FArtmyhgC q6qhWRCQMWIL1YyzKeCQIUPaKdsbmzTXJDViLZ8F5hgEsGE_YNSz8BSjFPc6 6FAFeOpb4wXueXqsGnc3k5cWgXOsaqEA4RfdfC6dgJFn5JWhMsq2QSsaDL3j 3m3HOFtO0sH_UOYhKwbTAD8SUyMSV0.tt.6R0WcyxP6llXSMNUyW4GuvykMi 0zZysbzjspvIAAByAcIyzqQZk8wjXxCi_50UAw9O.iVnirwwaJTzdjenEllN nudcEnyCSA2wE4fUWnOD32qcQDEdFBlPX6ffmXrscdg6CrIDRI5QyzmpXMN4 bFv2i_JvvBoQ.b4sqd3JpP1W8wV_rj4vHE5ow1zT40Gq4aJ25taCV0C86.Es 8Z9xe6WEgh3WkMWqarBCzyhIZybSJgo4Q X-Yahoo-SMTP: xcjD0guswBAZaPPIbxpWwLcp9Unf To: FreeBSD Hackers From: Pedro Giffuni Subject: devel/coccinelle "semantic patches". Message-ID: <571136E6.6080203@FreeBSD.org> Date: Fri, 15 Apr 2016 13:45:58 -0500 User-Agent: Mozilla/5.0 (X11; FreeBSD amd64; rv:38.0) Gecko/20100101 Thunderbird/38.7.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 15 Apr 2016 18:52:59 -0000 Hi; Since people have been asking about my recent use of devel/coccinelle, I created a directory where I am keeping the test patches I use: https://people.freebsd.org/~pfg/patches/cocci/ I do *not* actually recommend running them on a regular basis. Most of the cases caught cosmetic issues on code that has been aging and are unlikely to be touched (again) in years. The interesting bugs are usually caught early by static checkers already in regular use by the project. Handle with care, beware of false positives, etc. but absolutely enjoy! Pedro.