Většina implementací skriptovacího jazyka JavaScript je volně postavena na základě standardu skriptu jádra s názvem ECMA. Kromě tohoto standardu existuje obecná sada nestandardních konstrukcí jazyka podporovaných většinou implementací a dalších funkcí/konstrukcí, které jsou podporovány pouze částí implementací skriptovacího jazyka JavaScript.
Několik veřejných sad nástrojů skriptovacího jazyka Javascript a obecné populární použití skriptovacího jazyka JavaScript využívá mnoho z těchto nestandardních aspektů jazyka, a činí tak čisté modelování jazyka obtížným (ne-li nemožným). Naše řešení je komplexní dedukční stroj, který analyzuje váš skriptovací jazyk JavaScript, a pomáhá tak sestavit přesný model. Dedukce však bohužel není vždy dokonalá. Z těchto důvodů mohou být některé dedukce skriptovacího jazyka JavaScript nedokonalé a označí jako chybné i pole/metody/typy, které ve skutečnosti chybné nejsou. Samozřejmě pracujeme na zlepšení a máme v plánu postupně pracovat s dalšími případy.