taint analysis of Linux kernel