2 に答える
理論的には、WTPやJBosdツールなどのEclipseプラグインでこれを実行できますが、現在のところ、これらは完全なIDEでのみ機能し、AntまたはMavenで呼び出すことができる個別のコマンドラインツールとしては機能しません。
さらに悪いことに、これらのツールは決して完璧ではありませんでした。彼らは常に大量の誤検知を報告し、経験則として、検証アルゴリズムは通常何年も遅れています。WTPの現在のバージョンは、おそらくJava EE 5のすべてをほとんど検証していません（おそらく、まだいくつかのあいまいな機能を見逃しています）。
その結果、この検証に基づいてビルドに失敗した場合、おそらく何もデプロイできなくなります。最も注意深くコーディングされ、完全に正しいWebアプリでも、WTPおよびJBossツールは、数百または大規模なプロジェクトでは数千の警告とエラーを報告する必要があると考えています。頼るのは全く役に立たない私見です。
これは一種の鶏卵問題です。あなたが言ったように、多くの EL 式は実行時にしか評価できません。
EL には、単純なプロパティ名やメソッド名だけでなく、さまざまなコンテキストで使用できるさまざまな暗黙的なオブジェクト ( params、facesContext、sessionなど) が含まれていることに注意してください。また、さまざまな方法で独自のオブジェクトを追加することもできます (他の Facelets テンプレート、faces-config に登録されている場合と登録されていない場合がある Bean、さらにはビューにオブジェクトを挿入するプレーンな Java コードなど)。
これらすべてが原因で、この種のチェックを使用してツールを構築することが非常に困難になります。JSFUnitとArquillianを使用してページごとに独自の JSF 単体テストを作成し、それらをビルドに統合することが、あなたが望むことに最も近いと思います。JBoss 7 をターゲットにしているので、実現可能だと思います。