lkmp:lkmp_project_list
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
lkmp:lkmp_project_list [2020/05/07 22:17] ShuahKhanLF |
lkmp:lkmp_project_list [2020/06/22 23:29] ShuahKhanLF |
||
|---|---|---|---|
| Line 65: | Line 65: | ||
| **Number of candidates selected for this project: 1** | **Number of candidates selected for this project: 1** | ||
| - | ===== Fall 2020 Projects ===== | + | ===== PCI: Hardening - Fix static analysis errors ===== |
| + | |||
| + | Explore kernel static analysis checkers CocciCheck, Coverity, Sparse, and Smatch. Learn how to run them to find static analysis problems in the PCI sub-system and fix the reported errors. | ||
| + | |||
| + | **Mentor: [[bjorn@helgaas.com|Bjorn Helgaas]]** | ||
| + | |||
| + | **Number of candidates selected for this project: 1** | ||
| + | |||
| + | ===== Fall 2020 Projects - Apply from CommunityBridge ===== | ||
| ===== Add KUnit Support for Parameterized Testing ===== | ===== Add KUnit Support for Parameterized Testing ===== | ||
| Line 220: | Line 228: | ||
| **Number of candidates applying for this project: 0** | **Number of candidates applying for this project: 0** | ||
| - | ===== Spring 2020 Projects - in progress ===== | + | ===== Spring 2020 Projects - completed ===== |
| ===== Linux dev-tools - Handling Complex Types and Attributes in Coccinelle ===== | ===== Linux dev-tools - Handling Complex Types and Attributes in Coccinelle ===== | ||
| Coccinelle, developed by Julia Lawall and her group, is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. The project proposal would be to improve the management of complex types and attributes (const, <nowiki>__user</nowiki>, etc) in the program matching and transformation tool Coccinelle. Currently, complex types are represented incorrectly, which makes it impossible to match against them in a general way. Various kinds of attributes are increasingly used in Linux kernel code, and it is important to be able to check these annotations and add them where they are missing. This project is relevant to Linux, Zephyr and many more applications. | Coccinelle, developed by Julia Lawall and her group, is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. The project proposal would be to improve the management of complex types and attributes (const, <nowiki>__user</nowiki>, etc) in the program matching and transformation tool Coccinelle. Currently, complex types are represented incorrectly, which makes it impossible to match against them in a general way. Various kinds of attributes are increasingly used in Linux kernel code, and it is important to be able to check these annotations and add them where they are missing. This project is relevant to Linux, Zephyr and many more applications. | ||
lkmp/lkmp_project_list.txt · Last modified: 2020/06/23 16:10 by ShuahKhanLF
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
