
Скачать презентацию Для обеспечения качества модулей ядра Linux используются различные подходы. Однако по тем или иным причинам они не позволяют выявить все ошибки. В докладе будет представлен метод статической верификации модулей ядра Linux, который нацелен на выявление всех возможных нарушений…
Recent Comments