<< 2009/08/06 | ホーム | 2009/08/08 >>

Points-to Analysis for JavaScript

JavaScript プログラムにおいて変数やプロパティがどのオブジェクトを指す可能性があるか静的に解析する points-to 解析の論文。指す可能性のあるオブジェクトの集合間の関係を各構文要素に対して構築して解く。テクニックとしては 3 日前の論文と似ている。どの程度の精度でできているのかは不明。

author="Dongseok Jang and Kwang-Moo Choe",
title="{Points-to Analysis for JavaScript}",
booktitle="SAC 2009",
publisher="ACM Press",
pages="1930--1937",
year="2009"

http://doi.acm.org/10.1145/1529282.1529711

タグ : ,