@inproceedings {266538, author = {Pieter Hooimeijer and Benjamin Livshits and David Molnar and Prateek Saxena and Margus Veanes}, title = {Fast and Precise Sanitizer Analysis with {BEK}}, booktitle = {20th USENIX Security Symposium (USENIX Security 11)}, year = {2011}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/usenix-security-11/fast-and-precise-sanitizer-analysis-bek}, publisher = {USENIX Association}, month = aug }