A methodology for finding source-level vulnerabilities of the Linux kernel variables | IEEE Conference Publication | IEEE Xplore