@inproceedings {269610, author = {Rob Johnson and David Wagner}, title = {Finding {User/Kernel} Pointer Bugs with Type Inference}, booktitle = {13th USENIX Security Symposium (USENIX Security 04)}, year = {2004}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/13th-usenix-security-symposium/finding-userkernel-pointer-bugs-type-inference}, publisher = {USENIX Association}, month = aug }