ソフトウェア追跡性とソフトウェア解析技術の融合

软件溯源与软件分析技术融合

• 批准号: 19K11897
• 负责人: 権藤 克彦
• 金额: $ 2.75万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2019
• 资助国家: 日本
• 起止时间: 2019-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19K11897/
• 关键词: メモリリーク; 参照カウント; 循環参照; 追跡型ゴミ集め; mark-sweepゴミ集め; ソフトウェア解析; 一貫性; 命名規則; 原始データ型; 決定木分類器; 時中型 prospective; 追跡子; ソフトウェア追跡性

本研究の目的は，時中型（prospective）な追跡子とソフトウェア解析の技術を組み合わせることで，ソフトウェア追跡の情報量とソフトウェア解析の精度を向上させ，ソフトウェアの保守コストを大幅に減少することである．今年度の主な成果は次のソフトウェア解析手法である：・Swift言語のARC機能により発生する強い循環参照やメモリリークを自動的に検知する新しいツールUCDetectorを提案した．Swift言語の「静的型付けで安全な言語でありながら低レベルなプログラミングが可能」という特徴，SwiftリフレクションAPI，デバッガlldb Pyton APIを用いることで，簡易かつコンパクトな実装が可能だったこと，その際に自明ではない様々な障壁があったことという知見を得た．また，実装した循環参照検知器の精度と効率に対する予備評価の結果も報告した.

The purpose of this study is to use the medium-sized (prospective) とソフトウェアanalytical technique の合わせることで, ソフThe amount of information tracked and the precision of the analysis provided by the Token , the conservative ソフトウェアのコストを has greatly reduced the することである. This year's main achievement is the analysis method: ・Swift language's ARC function is born.るstrong loop reference やメモリリークをautomatic に検知する新しいツールUCDetectorを proposalした． Swift languageの「quiet type payけでsafeなlanguageでありながらlow レベルなプログラミングが　　という特徴, SwiftリフレクションAPI, デバッガlldb Pyton API is easy to use, simple installation is possible, and it is easy to use .また, 実装したcyclic reference to the accuracy and efficiency of the detector and the preparation of the results した.

项目成果

Improving Semantic Consistency of Variable Names with Use-Flow Graph Analysis

• DOI: 10.1109/apsec53868.2021.00030
• 发表时间: 2021-12
• 期刊: 2021 28th Asia-Pacific Software Engineering Conference (APSEC)
• 作者: Yusuke Shinyama;Yoshitaka Arahori;K. Gondow

STRAB: state recovery using reverse execution at IR level for concurrent programs

STRAB：在 IR 级别使用反向执行来恢复并发程序的状态

• 发表时间: 2020
• 作者: S. Hoshino;Y. Arahori;and K. Gondow
• 通讯作者: and K. Gondow

強化学習に基づく並行バグ検知

基于强化学习的并行错误检测

• 发表时间: 2019
• 作者: 李兆亮;荒堀喜貴;権藤克彦
• 通讯作者: 権藤克彦

Typestate 解析を応用した静的解析に よる 分散並行システムのバグの検出

使用 Typestate 分析进行静态分析来检测分布式并行系统中的错误

• 发表时间: 2019
• 作者: 春日涼太郎 ;荒堀喜貴;権藤克彦
• 通讯作者: 権藤克彦

How Do Programmers Express High-Level Concepts using Primitive Data Types?

• DOI: 10.1109/apsec53868.2021.00043
• 发表时间: 2021-12
• 期刊: 2021 28th Asia-Pacific Software Engineering Conference (APSEC)
• 作者: Yusuke Shinyama;Yoshitaka Arahori;K. Gondow