WebBits-2.0: JavaScript analysis tools