SWF-based OVAL light-weight interpreter は、OVAL ファイルに記載された Flash バージョン情報を利用して判定を行っています。
oval_vcheck_flash_player.xml
file_state id="oval:jp.ac.chuo-u.ise.jvnrss.oval:ste:1001" に格納されている version の値と比較 (oval_vcheck_flash_player.flr)