WebBits-0.9.3: JavaScript analysis tools