プログラム解析を提供するAPIの実現とその適用
スポンサーリンク
概要
- 論文の詳細を見る
既存のプログラム解析ツール内部のCの構造体を関数呼び出しでラップ（wrap）することで，プログラムスライシング技術におけるデータ／制御依存関係の解析結果を抽出できるAPIを実現した．そのAPIを利用すれば，静的スライスを利用したプログラム解析ツールなどを構築することが出来る． 本論文では，その設計と実現方法，そして，そのAPIを利用したデータ／制御依存関係の帳票化ツールを述べる．そのツールは，システム再構築の現場でのシステム理解に実際に使用された．
- 日本ソフトウェア科学会の論文
日本ソフトウェア科学会 | 論文
- LCDと透明弾性体の光弾性を用いたユーザインタフェース (特集 インタラクティブシステムとソフトウェア)
- Bluetoothによる位置検出
- COINSにおけるSIMD並列化(最新コンパイラ技術とCOINSによる実践)
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 計算と論理のための自然枠組NF/CAL(システム検証の科学技術)