Modular string-sensitive permission analysis with demand-driven precision | IEEE Conference Publication | IEEE Xplore