Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2005.09516 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929730173796352 |
|---|---|
| author | Tempel, Sören Bruns, Nora |
| author_facet | Tempel, Sören Bruns, Nora |
| contents | We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack to Checked C, thereby achieving spatial memory safety in these code parts. Similar to prior research done on IoT operating systems and safe C dialects, our integration of Checked C remains entirely optional, i.e. compilation with a standard C compiler not supporting the Checked C language extension is still possible. We believe this to be the first proposed integration of a safe C dialect for the RIOT operating system. We present an incremental process for converting RIOT modules to Checked C, evaluate the overhead introduced by the conversions, and discuss our general experience with utilizing Checked C in the Internet of Things domain. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2005_09516 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system Tempel, Sören Bruns, Nora Programming Languages Cryptography and Security We present an integration of a safe C dialect, Checked C, for the Internet of Things operating system RIOT. We utilize this integration to convert parts of the RIOT network stack to Checked C, thereby achieving spatial memory safety in these code parts. Similar to prior research done on IoT operating systems and safe C dialects, our integration of Checked C remains entirely optional, i.e. compilation with a standard C compiler not supporting the Checked C language extension is still possible. We believe this to be the first proposed integration of a safe C dialect for the RIOT operating system. We present an incremental process for converting RIOT modules to Checked C, evaluate the overhead introduced by the conversions, and discuss our general experience with utilizing Checked C in the Internet of Things domain. |
| title | RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system |
| topic | Programming Languages Cryptography and Security |
| url | https://arxiv.org/abs/2005.09516 |