NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps | IEEE Conference Publication | IEEE Xplore