Re: [Cocci] [v6] coccinelle: semantic code search for missing put_device()

2019-03-06 Thread Markus Elfring
> Do you have any other questions? I would like to point another aspect out for further development considerations. The initial assignment targets are (id)expressions in the discussed analysis approach so far. Would you like to care also for value (or pointer) initialisations by resource allocati

[Cocci] Splitting a source code search specification from a SmPL rule into more rules?

2019-03-06 Thread Markus Elfring
Hello, The semantic patch language supports also to put longer code into SmPL rules. It might look convenient and appropriate to specify such code for a single SmPL rule. But it can happen also that you would like to reduce source code search efforts and present meaningful analysis reports. Examp