@techreport{oai:ipsj.ixsq.nii.ac.jp:00186611,
 author = {高野, 健太 and 荒堀, 喜貴 and 権藤, 克彦},
 issue = {21},
 month = {Mar},
 note = {JavaScript のデータフロー解析を難しくする要因に非同期に実行されるイベント処理が存在する．先行研究において非同期処理のモデル化は不正確であり，またイベントの発火順序を考慮したモデル上では解析自体がスケールしないという課題が存在する．本研究ではこのイベント処理の振る舞いを解析した結果を元に，精度を保ちつつ高速にデータフロー解析を行うための 2 つの簡約手法，イベント順序ベース簡約と類似操作ベース簡約を提案する．これらの簡約手法では，条件式の簡易な値解析によるイベント処理の枝刈りと，イベントの発火順序を考慮したデータフローの集約によって，データフロー解析をより正確かつ高速に行えるようにする．そして，これらの提案手法を実際にツールとして実装し，7 種類の小さいケースと 3 種類の実際のライブラリに対するデータフロー解析により評価実験を行い，提案手法を用いないベース手法との比較を行った．この評価の結果，小さいケースでは，7 種類の内の 4 種類のケースにおいてほぼ同様の解析時間でより良い精度の解析を行うことができた．また，ライブラリでは，3 種類の内の 1 種類のケースにおいて解析精度の向上が確認できた．},
 title = {イベント処理を考慮した正確かつ高速なデータフロー解析},
 year = {2018}
}