From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5c2142ee5e956186 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!y4g2000vbx.googlegroups.com!not-for-mail From: onox Newsgroups: comp.lang.ada Subject: Re: The concept of semantic patching Date: Thu, 11 Aug 2011 00:04:24 -0700 (PDT) Organization: http://groups.google.com Message-ID: <4b0f180f-5d4a-40c4-96cd-b6ebc53c1579@y4g2000vbx.googlegroups.com> References: <877h6n7okn.fsf@ludovic-brenta.org> NNTP-Posting-Host: 82.139.123.174 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1313046264 23730 127.0.0.1 (11 Aug 2011 07:04:24 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 11 Aug 2011 07:04:24 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: y4g2000vbx.googlegroups.com; posting-host=82.139.123.174; posting-account=BtkjvAoAAADwEquGb07eykXfyiDMOxfl User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HNKRUAELSC X-HTTP-UserAgent: Mozilla/5.0 (X11; Linux i686) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/13.0.782.109 Safari/535.1,gzip(gfe) Xref: g2news2.google.com comp.lang.ada:21496 Date: 2011-08-11T00:04:24-07:00 List-Id: On Aug 9, 6:38=A0pm, "J-P. Rosen" wrote: > Le 09/08/2011 17:50, Yannick Duch=EAne (Hibou57) a =E9crit : > > > > > > > > > Le Mon, 08 Aug 2011 20:20:08 +0200, Ludovic Brenta > > a =E9crit: > > Hi Ludovic, > > >> adasubst and adadep from Adalog and Jean-Pierre Rosen. > > >>http://www.adalog.fr/compo1.htm#adadep > > > AdaDep don't play in the same area. AdaSubst is more close, but don't d= o > > the same. Some part of what Coccinelle do, as far I understand it, coul= d > > be done with AdaControl, some other part with AdaSubst. But look at how > > the patch works, as exposed in > >http://coccinelle.lip6.fr/Intro_gen.pdf > > Seems to be able to insert instructions at relevant place too (that's > > why I feel this is more than classical refactoring, although this is > > still kind of refactoring). Unless I am wrong about AdaSubst can do, I > > believe it does not come this ability. > > AdaSubst does only (semantic) identifiers substitution. But it comes > with a package ("Producer") which makes it easy to perform any > transformation on source code. > > I didn't investigate what Coccinelle really does, but if anybody is > tempted to do it... Since Coccinelle =A0means Ladybug, it could be called > Ladabug :-) > > -- > --------------------------------------------------------- > =A0 =A0 =A0 =A0 =A0 =A0J-P. Rosen (ro...@adalog.fr) > Adalog a d=E9m=E9nag=E9 / Adalog has moved: > 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX > Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00 lwn.net says: "Coccinelle is useful for finding a lot of types of bugs through advanced code analysis and pattern matching. It can finger many types of memory leaks, locking problems, bad API usage, null pointer dereferences, and so on. Arnd Bergmann noted that it can be very useful for refactoring as well; he found it to be helpful in his big kernel lock removal work." http://lwn.net/Articles/412750/