Rigorous and Efficient Library Compatibility Verification Method based on Runtime Information Analysis of Used Functions

基于所用函数运行时信息分析的严谨高效的库兼容性验证方法

基本信息

批准号：
22K21279
负责人：
嶋利一真
金额：
$ 1.83万
依托单位：
Nara Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2022
资助国家：
日本
起止时间：
2022-08-31 至 2024-03-31
项目状态：
已结题

项目摘要

本年度は互換性検証技術の構築を目的として，テストの生成やその実行の比較を対象に研究を行った．テストの実行時情報を効率的に比較する手法として，実行トレースからマークル木を作成し効率的に差分を検知する手法に着目し，互換性検証を行う手法の実装を行っている．メソッド返り値のみに着目するトレースや引数に関連するトレースなど様々な選択があるのでこれらを順に検討している段階である．また，ライブラリに対するテストの生成については，テスト自動生成技術によって生成したテストからライブラリの入出力に関連する部分のみ抽出することで，実行コストを下げつつカバレッジを増加させる手法の実装を行っている．実行トレースの収集及びテスト生成の技術については目途がついてたので，両者を組み合わせた実装を行い，手法の実現を図っている段階である．二つのソースコードが同一の機能を有しているかを判定するための要素技術として，テスト対象に対して記号実行を用いてテストを自動生成し，実行結果の比較を行うフレームワークを作成した．ソースコードの類似度もフレームワークにて測定することで，難読化前後の同機能を持つソースコードの信頼性の評価に用いることが可能となった．また，互換性検証を幅広く展開するために，類似した機能の対応付けも重要な項目となる．そのため，2つの類似するWebアプリケーションに対して，類似する機能の対応関係の抽出を行い，変更差分をもとに機能の対応付けを行う技術についても実現し，UIが異なるアプリケーションでも機能の対応付けが可能であることを確認した．

今年，我们对创建测试及其执行的比较进行了研究，目的是建立兼容性验证技术。通过重点关注从执行跟踪并有效检测差异的方法以及实现验证兼容性的方法来实现有效比较测试运行时信息的方法。有多种选项，例如仅关注与参数相关的方法返回值和跟踪的痕迹，因此我们目前正在考虑使用这些值。此外，在为库生成测试时，我们实施了一种方法，通过仅从使用自动测试生成技术生成的测试中提取与库输入/输出相关的零件来降低执行成本并增加覆盖范围。该技术可以收集执行跟踪和生成测试，因此我们目前正在努力通过组合来实施该技术。作为确定两个源代码是否具有相同功能的元素技术，我们创建了一个框架，该框架会自动使用符号执行进行测试主题生成测试，并比较执行结果。通过使用框架测量源代码的相似性，可以使用它来评估混淆之前和之后具有相同函数的源代码的可靠性。此外，为了广泛部署兼容性验证，匹配相似的功能也是重要的项目。因此，我们还实施了一项技术，该技术可以为两个相似的Web应用程序提取相似函数之间的对应关系，并使用功能差异来匹配它们，并确认即使对于具有不同UI的应用程序也可以匹配函数。

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

コード難読化ツールの信頼性を評価するフレームワークの検討

考虑评估代码混淆工具可靠性的框架

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Tetsuya Kitaoka;Yuichiro Kanzaki;Takashi Ishio;Kazumasa Shimari;Kenichi Matsumoto;北岡哲哉，神崎雄一郎，石尾隆，嶋利一真，松本健一
通讯作者：
北岡哲哉，神崎雄一郎，石尾隆，嶋利一真，松本健一

2つのWebアプリケーション間の類似する操作対象の対応関係抽出

提取两个Web应用之间相似操作目标之间的对应关系