Automated Analysis of Security-Critical JavaScript APIs

   Abstract