On Tue, 12 Jun 2012, SF Markus Elfring wrote:

I guess, but it still has a disadvantage from a performance point of
view.
Coccinelle only processes files that contain all of the words that
are needed for the semantic patch to match, but it doesn't collect any
information when there are regular expressions.

I am surprised that you point out such an interesting implementation
detail here.


You rule would process all files, while the rule that gives the names
explicitly would only process the files that contain those names.

Can your software development tool be improved in this aspect?

I don't know what is the complexity of the regular expressions accepted
by glimpse.  It seems to be quite low.

Would you like to clarify this detail a bit more?

Glimpse complains if the provided regular expression is too complicated. Coccinelle then tries a sequence of regular expressions that are still safe, but of course the result is less and less restricted.

Does the software component "glimpse" limit the capabilities of your tool to some degree?

No, it can only increase the time required. And if you don't use glimpse, then it has no impact.

julia

Would you like to mention any more restrictions in the SmPL grammar documentation?

Regards,
Markus

_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to