In this paper, we propose a method of analyzing the types and causes of concurrency bugs that can occur in multi-process/multi-thread environments by analyzing the information gathered in the execution environment. Our method reduces the false detection rate by employing a hooking technique that intercepts the software’s execution at runtime and reduces the overhead that can occur in the original software due to defect detection methods using optimized data collection. We implemented the proposed method as a tool and demonstrated its effectiveness by applying it to weapon system software that previously had concurrency bugs. In addition, the proposed method’s high performance was proven by applying it to software into which faults were injected and comparing the results with those obtained using other tools.

中文翻译：

---

多进程/多线程环境下并发Bug的动态分析方法

在本文中，我们提出了一种通过分析在执行环境中收集的信息来分析多进程/多线程环境中可能发生的并发错误的类型和原因的方法。我们的方法通过采用钩子技术来降低错误检测率，该技术在运行时拦截软件的执行，并减少由于使用优化数据收集的缺陷检测方法而在原始软件中可能发生的开销。我们将所提出的方法作为一种工具实施，并通过将其应用于以前存在并发错误的武器系统软件来证明其有效性。此外，通过将其应用于注入故障的软件并将结果与​​使用其他工具获得的结果进行比较，证明了所提出的方法的高性能。