Modular string-sensitive permission analysis with demand-driven precision.

Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby

Browse the full ICSE paper archive.