coccicheck
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
coccicheck [2015/10/21 16:03] Luis R. Rodriguez |
coccicheck [2015/10/22 13:27] Luis R. Rodriguez |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== coccicheck ===== | ===== coccicheck ===== | ||
| - | '''coccicheck''' is one of the targets of the Linux kernel, this page documents how you can use it, what it provides and how to help extend it. '''coccicheck''' provides a series of semantic patches written in Semantic Patch Language (SmPL) and make use of the [[http://coccinelle.lip6.fr/|Coccinelle engine]] to interpret and complete these tests. These tests can help you vet for correctness and avoid certain bugs which have been able to be expressed semantically. | + | '''coccicheck''' is one of the targets of the Linux kernel, this page documents how you can use it, what it provides and how to help extend it. '''coccicheck''' provides a series of semantic patches written in Semantic Patch Language (SmPL) and make use of the [[http://coccinelle.lip6.fr/|Coccinelle engine]] to interpret and complete these tests. These tests can help you vet for correctness and avoid certain bugs which have been able to be expressed semantically. If you're a maintainer please note you are encouraged to be using coccicheck with M=your/maintained-code-path so you can make use of the learned SmPL patches to avoid bugs in your maintained code. How maintainers can use this is explained below. |
| SmPL patches exist for these different types of categories, documented below. | SmPL patches exist for these different types of categories, documented below. | ||
| Line 23: | Line 23: | ||
| <code bash> | <code bash> | ||
| make coccicheck MODE=report | make coccicheck MODE=report | ||
| + | </code> | ||
| + | |||
| + | If you are a maintainer you may want to use M=your/maintained-path/ to limit the scope to only the files you maintain. For instance the following will generate a report for all files in drivers/net/ only. | ||
| + | |||
| + | <code bash> | ||
| + | make coccicheck MODE=report M=drivers/net/ | ||
| </code> | </code> | ||
| Line 77: | Line 83: | ||
| Certain tests which are known to help with consistent kernel use. | Certain tests which are known to help with consistent kernel use. | ||
| + | |||
| + | ===== Who runs these tests ===== | ||
| + | |||
| + | Anyone | ||
coccicheck.txt ยท Last modified: 2018/01/17 14:05 by Himanshu Jha
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
