Takeshi Yoshimura, Kenji Kono, "A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers", IPSJ Trans. on Advanced Computing Systems, Vol. 9, No. 1, March, 2016.
2016-10-29
Takeshi Yoshimura, Kenji Kono, "A Case for Static Analysis of Linux to Find Faults in Interrupt Request Handlers", IPSJ Trans. on Advanced Computing Systems, Vol. 9, No. 1, March, 2016.