Academic Journal
Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux
| Title: | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux |
|---|---|
| Source: | Труды Института системного программирования РАН. |
| Publisher Information: | Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук, 2012. |
| Publication Year: | 2012 |
| Subject Terms: | ВЕРИФИКАЦИЯ,СТАТИЧЕСКИЙ АНАЛИЗ,ДРАЙВЕР УСТРОЙСТВА,ОПЕРАЦИОННАЯ СИСТЕМА LINUX, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences |
| Description: | В работе рассмотрены методы и техники, используемые в современных инструментах статической верификации Си программ. Представлен обзор текущих возможностей инструментов, в том числе по таким направлениям, как поддержка конструкций языка Си, масштабируемость, виды проверяемых свойств и достоверность результатов анализа. Рассмотрены особенности применения инструментов статической верификации для анализа исходного кода драйверов устройств операционных систем и описаны существующие системы верификации драйверов, построенные на основе таких инструментов. |
| Document Type: | Article |
| File Description: | text/html |
| Language: | Russian |
| ISSN: | 2220-6426 2079-8156 |
| Access URL: | http://cyberleninka.ru/article/n/obzor-instrumentov-staticheskoy-verifikatsii-si-programm-v-primenenii-k-drayveram-ustroystv-operatsionnoy-sistemy-linux http://cyberleninka.ru/article_covers/14475671.png |
| Accession Number: | edsair.od......2806..3b9cd9bcef3e15e0c92a1ac3e94bddc9 |
| Database: | OpenAIRE |
| ISSN: | 22206426 20798156 |
|---|