OVAL 定義ファイルを用いた Flash Player のバージョンチェックでは、Flash Player 自身を用いて、OVAL ファイルに記載された最新の Flash Player のバージョン値とインストールされている Flash Player のバージョン値とを比較し、判定を行っています。
oval_flash_player_win.xml
file_state id="oval:jp.ac.chuo-u.ise.jvnrss.oval:ste:1001" に格納されている version の値と比較 (oval_vchecker.swf-classes.as)