Towards a Flow- and Path-Sensitive Information Flow Analysis: Technical Report

Re-assign community