From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Wed, 5 Aug 2015 13:00:43 +0200
Subject: [Cocci] Finding unstored return values with SmPL
In-Reply-To: <alpine.DEB.2.02.1507230724180.2062@localhost6.localdomain6>
References: <55A62135.90206@users.sourceforge.net>
 <alpine.DEB.2.10.1507150629540.2670@hadrien>
 <55AA3B1F.5020807@users.sourceforge.net>
 <alpine.DEB.2.02.1507181351130.2042@localhost6.localdomain6>
 <55ACDC1C.1040005@users.sourceforge.net>
 <55AFD615.3070905@users.sourceforge.net>
 <alpine.DEB.2.10.1507221943550.2405@hadrien>
 <55B0798B.1010507@users.sourceforge.net>
 <alpine.DEB.2.02.1507230724180.2062@localhost6.localdomain6>
Message-ID: <55C1ECDB.2060509@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

>> How do you think about to try another analysis out with one
>> of your test systems?
> 
> I don't have your semantic patch.  If you want me to to try something,
> you have to send the semantic patch, even if you have sent it before.

I sent you two SmPL script examples for this purpose in the meantime.
Would you like to share any more experiences from a corresponding
software run time analysis?

Regards,
Markus