gsoc:2023-gsoc-safety-critical-linux
Differences
This shows you the differences between two versions of the page.
|
gsoc:2023-gsoc-safety-critical-linux [2023/01/16 13:48] till created |
gsoc:2023-gsoc-safety-critical-linux [2023/01/24 01:18] (current) till [Handling Complex Types and Attributes in Coccinelle] |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| **To be updated** | **To be updated** | ||
| - | ==== 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 GSoC project proposal would be to improve the management of complex types and attributes (const, __user, 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. | ||
| - | |||
| - | Main contact person for this project proposal: Julia Lawall, julia.lawall at inria.fr | ||
| ==== Develop Methods for Tracking Tool Analysis Findings over Time ==== | ==== Develop Methods for Tracking Tool Analysis Findings over Time ==== | ||
gsoc/2023-gsoc-safety-critical-linux.txt ยท Last modified: 2023/01/24 01:18 by till
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
