JavaScript Static Analysis Tool (TAJS Based)