Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale - View it on GitHub