> Sorry, I do not know how to use the SmPL script.

I would like to try again to make you more familiar with applications
of the Coccinelle software.

Another small example according to a script for the semantic patch language:
expression e, x;
statement is, es;
type t;
*e = (t) ioremap(...)
 ... when != if( \( !e \| e == NULL \| unlikely( \( !e \| e == NULL \) ) \| 
WARN_ON( \( !e \| e == NULL \) ) \) ) is else es
     when != iounmap(e)
 return x;

>> Would you like to let any more source code analysis tools help you
>> to find remaining update candidates?
> yes, but I think the source code analysis tools only can found the simple
> repetitive issue.

The shown analysis approach can point 127 source files out from
the software “Linux next-20200423”. These files contain function implementations
which might need further development considerations.

> and need spend some time learning to use it.

You came along a few files where you noticed questionable source code.
Would you become interested to find similar places for another check?

elfring@Sonne:~/Projekte/Linux/next-patched> XX=$(date) && spatch --no-loops 
--timeout 12 -j 4 --chunksize 1 -dir ~/Projekte/Linux/next-patched 
~/Projekte/Coccinelle/janitor/show_questionable_ioremap_usage3.cocci > 
 YY=$(date) && echo "$XX | $YY"
Fr 24. Apr 09:08:44 CEST 2020 | Fr 24. Apr 09:10:37 CEST 2020

Would you like to extend your learning experiences accordingly?

> now, I think the best for me may be that read and check the source code.

How do you think about to reduce efforts for manual code inspection?

Cocci mailing list

Reply via email to