<< DHTMLにおけるDOMの解析手法 | ホーム | BabyJ: From Object Based to Class Based Programming via Types >>

Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs

整数オーバーフロー、アンダーフローを静的解析によって見つける手法の提案。整数式を表す抽象構文木のノード間に大小関係を表すエッジを張ったグラフを生成し、5 種類の規則に基づいて各エッジについて検証を行う。関数をまたがる解析は行わないが、MLOC クラスのソースコードもコンパイルと同程度の時間で検査できる。

author="Dipanwita Sarkar and Muthu Jagannathan and Jay Thiagarajan and Ramanathan Venkatapathy",
title="{Flow-insensitive Static Analysis for Detecting Integer Anomalies in Programs}",
institute="Microsoft Research",
year="2006"

http://research.microsoft.com/apps/pubs/default.aspx?id=70283

タグ : ,



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