ほとんどの JavaScript 実装は、大まかには、ECMA というコア・スクリプト標準に基づいています。
この標準のほかに、ほとんどの実装でサポートされる非標準の言語構造体や、JavaScript 実装のサブセットでのみサポートされる他の関数/構造体から成る共通セットがあります。
多数の公開 JavaScript ツールキットや、JavaScript の一般的な使用法では、これらの非標準の言語要素が数多く活用されているため、言語の純正なモデリングを行うことが (不可能ではないにしても) 難しくなっています。
IBM では、JavaScript を分析して正確なモデルの作成を支援する複雑な推論エンジンによって、この問題を解決しています。
しかしながら、推論は常に完璧というわけにはいきません。
こうした理由で、一部の JavaScript クラスの推論が不完全なものとなり、実際にはエラーでないフィールド/メソッド/型に、エラーのマークが付くことがあります。
もちろん、この問題については、現在も継続的に取り組んでいます。