Fast and precise sanitizer analysis with bek. (2011)

by P HOOIMEIJER, B LIVSHITS, D MOLNAR, P SAXENA, M VEANES
Venue:In Proceedings of the USENIX Security Symposium.