A JavaScript megvalósítások legtöbbje jobbára egy ECMA nevű törzs
parancsfájl szabványon alapul. A szabványon túl létezik a nem szabványos nyelvi szerkezetek egy közös
készlete, amelyet a legtöbb megvalósítás és egyéb funkciók/szerkezetek
támogatnak, és amelyeket a JavaScript megvalósításoknak csak egy
részhalmaza támogat.
A nyilvános JavaScript eszközkészletek nagy része, valamint a JavaScript
általánosan elterjedt használata sok ilyen nem szabványos nyelvi
elemet használ, ami nehézzé (ha nem lehetetlenné) teszi a nyelv tiszta
modellezést. A jelen megoldás egy összetett következtetési alrendszer,
amely elemzi a JavaScript kódot, hogy segítséget nyújtson egy pontos modell
összeállításához. Sajnos a következtetés nem mindig tökéletes. Emiatt
előfordulhat, hogy bizonyos JavaScript osztályok esetében a következtetés
nem tökéletes, és olyan mezőket/metódusokat/típusokat is hibásnak
jelez, amelyek valójában nem azok. Természetesen dolgozunk ezen, és az
előrehaladás közben kezeljük a hasonló eseteket.