インタープロシージャル制御フローグラフにおいて各プログラム位置からエラー位置までの最短距離を効率的に計算するためのコンピュータシステム、その方法、およびコンピュータ読み取り可能な記録媒体인터프로시져럴 제어 흐름 그래프에서 각 프로그램 위치로부터 에러 위치까지의 최단 거리를 효율적으로 계산하기 위한 컴퓨터 시스템 및 그의 방법
【課題】多様な実施形態は、インタープロシージャル制御フローグラフにおいて各プログラム位置からエラー位置までの最短距離を効率的に計算するためのコンピュータシステムおよびその方法、並びに、コンピュータ読み取り可能な記録媒体に関する。
【解決手段】エラー位置を確認し、エラー位置から繋がる少なくとも1つのエッジを追跡しながら、エラー位置と少なくとも1つの関数によって連関するプログラム位置に対して最短距離を計算するように構成される。
【選択図】図4
- Assignee
- KAIST
- Country
- JA (Japan)
- Application Date
- 2021-05-20
- Application Number
- 2021-085670
- Registration Date
- 2022-11-11
- Registration Number
- 7175528
- Appears in Collection
- CS-Patent(특허)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.