From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Mon, 13 Jul 2015 09:19:28 +0200
Subject: [Cocci] Error predicate determination with SmPL?
Message-ID: <55A36680.1020707@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

Hello,

The semantic patch language can also be used to find
specific return statements in the source files.
How can this software help to find all of them
within a function implementation?

How are the chances to improve static source code analysis
possibilities for such a purpose?

Regards,
Markus