A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers

A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers
复制标题

Linux静态分析中断请求处理程序故障实例

DOI：
--
复制
发表时间：
2016
期刊：
IPSJ Transactions on Advanced Computing Systems (ACS53)
影响因子：
--
通讯作者：
Takeshi Yoshimura and Kenji Kono
Takeshi Yoshimura and Kenji Kono
中科院分区：
--
文献类型：
--
作者：
清水覚司;藤田宏明;岩井一宏;Kenta Matsuoka and Jong-Hak Woo;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Kenta Matsuoka;Takeshi Yoshimura and Kenji Kono

文献摘要

相似文献