Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis.
该论文针对内核数据竞争（data race）检测的难题提出了一种新的静态/动态结合分析方法——概率锁集分析（Probabilistic Lockset Analysis, PLA）。内核数据竞争是导致安全漏洞（如 use-after-fre
#concurrency-safety
共收录 1 条相关情报。
← 返回所有主题共收录 1 条相关情报。
← 返回所有主题该论文针对内核数据竞争（data race）检测的难题提出了一种新的静态/动态结合分析方法——概率锁集分析（Probabilistic Lockset Analysis, PLA）。内核数据竞争是导致安全漏洞（如 use-after-fre