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...
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2019-02-01
|
| Շարք: | Труды Института системного программирования РАН |
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://ispranproceedings.elpub.ru/jour/article/view/1125 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|