Οι περισσότερες υλοποιήσεις JavaScript βασίζονται ελαφρώς σε ένα βασικό πρότυπο σεναρίου που
ονομάζεται ECMA. Εκτός από αυτό το πρότυπο, υπάρχει ένα κοινό σύνολο μη τυπικών δομών
γλώσσας που υποστηρίζεται από τις περισσότερες υλοποιήσεις, καθώς και άλλες
συναρτήσεις/ρουτίνες κατασκευής που υποστηρίζονται μόνο από ένα υποσύνολο των υλοποιήσεων JavaScript.
Ορισμένα δημόσια πακέτα εργαλείων JavaScript, καθώς και η γενική δημοφιλής χρήση της
JavaScript, εκμεταλλεύονται πολλά από αυτά τα μη τυπικά χαρακτηριστικά γλώσσας
δημιουργώντας μια καθαρή μοντελοποίηση των δυσκολιών της γλώσσας (αν αυτό είναι εφικτό).
Η λύση που προτείνουμε είναι ένας σύνθετος μηχανισμός εξαγωγής συμπερασμάτων που αναλύει
τον κώδικα JavaScript για τη δόμηση ενός ακριβούς μοντέλου. Δυστυχώς, ο μηχανισμός εξαγωγής συμπερασμάτων
δεν είναι πάντοτε τέλειος. Για αυτούς τους λόγους, ορισμένα συμπεράσματα κλάσεων
JavaScript μπορεί να είναι ατελή και να επισημαίνουν πεδία/μεθόδους/είδη ως
σφάλματα ενώ στην πραγματικότητα δεν είναι. Φυσικά, προσπαθούμε να βελτιώσουμε το
μηχανισμό και σχεδιάζουμε να μελετήσουμε περισσότερες περιπτώσεις.