Open access
Oct 2026
Multi-stage On-Demand Program Slicing for Modular Analysis of Multi-threaded Programs
Precise analysis of multi-threaded programs requires combining flow-sensitive pointer analysis (FSPTA) with interleaving and lock analysis (ILA) to reason about cross-thread value flows under feasible concurrent executions. ILA computes may-happen-in-parallel (MHP) relations and lock-release spans to determine when sha...
Jia-Wei Yang, Xiao Cheng, Jia-Wei Wang et al.
· 0 citations