IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems
IEEE Transactions on Parallel and Distributed Systems(2025)
关键词
Instruction reordering vulnerability,concurrency,static analysis,model checking
AI 理解论文
溯源树
样例

生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要