代码可达性分析

静态或动态确定程序中哪些代码段可能在特定执行路径下被实际运行，用于识别未使用的死代码或潜在风险区域。