<< Refactoring Programs to Secure Information Flows | ホーム | SecureC: Control-flow Protection Against General Buffer Overflow Attack >>

Pointer Analysis for Structured Parallel Programs

並列プログラムのポインタ解析手法。論文では Cilk という C の拡張言語のように、どこが並列に動作するかプログラムを見ればすぐにわかるような言語が対象になっている。解析手法としては、ポインタがどこを指しているか表すグラフを構築する従来手法をストレートに並列プログラムに対応させた感じ。

author="Radu Rugina and Martin C. Rinard",
title="{Pointer Analysis for Structured Parallel Programs}",
journal="ACM Transactions on Programming Languages and Systems",
volume="25",
number="1",
pages="70--116",
year="2003"

タグ : ,



コメント追加 トラックバック送信