• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Software System Model Viewer based on Program Analysis Information

Research Project

Project/Area Number 12680348
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionOsaka University

Principal Investigator

INOUE Katsuro  Osaka University, Graduate School of Engineering Science, Professor, 大学院・基礎工学研究科, 教授 (20168438)

Co-Investigator(Kenkyū-buntansha) MATSUSHITA Makoto  Osaka University, Graduate School of Engineering Science, Research Associate, 大学院・基礎工学研究科, 助手 (60304028)
KUSUMOTO Shinji  Osaka University, Graduate School of Engineering Science, Associate Professor, 大学院・基礎工学研究科, 助教授 (30234438)
Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥3,200,000 (Direct Cost: ¥3,200,000)
Fiscal Year 2001: ¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2000: ¥1,900,000 (Direct Cost: ¥1,900,000)
KeywordsProgram Slice / Alias Analysis / Information Security / Impact Analysis / Object-Oriented Program Language / Java / プログラム解析 / Javaプログラム / バイトコード / データ依存解析
Research Abstract

In this research, we cope with some kids of software modeling which give consideration to static and/or dynamic aspects of software. Followings are our research results :
We propose "DC Slice" algorithm which employs both static-type and dynamic-type sub-algorithms, that is to analyze program to generate software's control and data flows graphs. The results of control and data flow graphs of DC Slice algorithm is equivalence of the one of dynamic slice algorithm, however, the cost of DC slice algorithm is lower than dynamic one. We also implement a system to display the results of DC slice algorithm. Using this system, we can analyze software without having its source code.
We propose "JAAT", a system for alias analysis which provides to the users to choice several alias analysis algorithms easily. JAAT's software' s alias model is extremely precise with reasonable costs.
We implement an algorithm of software' s information security model for procedural programming languages, and a system for displaying information security model. We also re-define the algorithm to apply object-oriented programming languages.
We propose an impact analysis algorithm that analyzes impacts of the software when some changes are committed to. We also implement a system of displaying impact analysis results.

Report

(3 results)
  • 2001 Annual Research Report   Final Research Report Summary
  • 2000 Annual Research Report
  • Research Products

    (20 results)

All Other

All Publications (20 results)

  • [Publications] 近藤和弘: "オブジェクト指向プログラム変更時の影響波及解析手法の提案"電子情報通信学会技術研究報告(SS2001-38). Vol.101, No.628. 33-40 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 誉田謙二: "Javaバーチャルマシンを利用した動的依存関係解析手法の提案"電子情報通信学会技術研究報告(SS2001-45). Vol.101, No.629. 47-54 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fumiaki Ohata: "A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic"Prcceedings of Eighth Asia-Pacific Software Engineering Conference(APSEC2001), December4-7, 2001, Macao, China. 273-280 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 大畑文明: "エイリアスフローグラフを用いたオブジェクト指向プログラムのエイリアス解析手法"電子情報通信学会論文誌D-1. Vol.J84-D-I No.5. 443-453 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 横森励士: "セキュリティ解析アルゴリズムの実現とオブジェクト指向言語への適用に関する一考察"電子情報通信学会技術研究報告(SS2000-11). Vol.100, No.472. 17-24 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 近藤和弘: "オブジェクト指向プログラムにおけるエイリアス解析・視覚化ツールの試作"電子情報通信学会技術研究報告(SS2000-07). Vol.100, No.186. 9-16 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Kazuhiro Kondou: "Impact Analysis Method for Changes on Object-Oriented Programs"Technical : Report of IEICE, (SS2001-38). Vol. 101, No. 628. 33-40 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Kenji Konda: "Dynamic Dependence Analysis Method using Java Virtual Machine"Technical Report of IEICE, (SS2001-45). Vol. 101, No. 629. 47-54 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fumiaki Ohata: "A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information"Proceedings of Eighth Asia-Pacific Software Engineering Conference (APSEC2001) December 4-7, 2001, Macao, China.. 273-280

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Fumiaki Ohata: "Alias Analysis Method for Object Oriented Programs Using Alias Flow Graphs"Transactions on IEICE, D-I. Vol. J84-D-I, No.5. 443-453 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Reishi Yokomorii: "Implementation of Security Analysis Algorithm and Application to Object-Oriented Programs"Technical Report of IEICE, (SS2000-11). Vol. 100, No. 472. 17-24 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Kazuhiro Kondou: "Alias Analysis and Visualization tool for Object-Oriented Programs"Technical Report of IEICE, (SS2000-07). Vol. 100, No. 186. 9-16 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 近藤和弘: "オブジェクト指向プログラム変更時の影響波及解析手法の提案"電子情報通信学会技術研究報告(SS2001-38). Vol.101, No.628. 33-40 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 誉田謙二: "Javaバーチャルマシンを利用した動的依存関係解析手法の提案"電子情報通信学会技術研究報告(SS2001-45). Vol.101, No.629. 47-54 (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] Fumiaki Ohata: "A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic"Proceedings of Eighth Asia-Pacific Software Engineering Conference(APSEC2001), December 4-7, 2001, Macao, China. 273-280 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 大畑文明: "エイリアスフローグラフを用いたオブジェクト指向プログラムのエイリアス解析手法"電子情報通信学会論文誌D-I. Vol.J84-D-I No.5. 443-453 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] 近藤和弘: "オブジェクト指向プログラムにおけるエイリアス解析・視覚化ツールの試作"電子情報通信学会技術研究報告(SS2000). Vol.100,No.186. 9-16 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 誉田謙二: "Javaバイトコードにおけるデータ依存解析手法の提案と実現"日本ソフトウェア科学会第17回大会講演論文集. C-4. 1-4 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 横森励士: "セキュリティ解析アルゴリズムの実現とオブジェクト指向言語への適用に関する一考察"電子情報通信学会技術研究報告(SS2000). Vol.100,No.472. 17-24 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 廣瀬航也: "動的データ依存関係解析を用いたJavaプログラムスライス手法"電子情報通信学会技術研究報告(SS2000). Vol.100,No.570,. 65-72 (2001)

    • Related Report
      2000 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi