Static verification for memory safety of Linux kernel drivers
Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous consequences but such errors are hard to detect. This article describes static verification that aims at finding all errors under certain assumptions. Static verification of industrial projects such as the Li...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2019-02-01
|
| Series: | Труды Института системного программирования РАН |
| Assuntos: | |
| Acceso en liña: | https://ispranproceedings.elpub.ru/jour/article/view/1125 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|