Aditya Thakur R. Govindarajan Comprehensive path-sensitive data-flow analysis. 55-63 2008 CGO http://doi.acm.org/10.1145/1356058.1356066 conf/cgo/2008 db/conf/cgo/cgo2008.html#ThakurG08