谷歌浏览器插件
订阅小程序
在清言上使用

IRHunter: Universal Detection of Instruction Reordering Vulnerabilities for Enhanced Concurrency in Distributed and Parallel Systems

GuoHua Xin,Guangquan Xu,Yao Zhang, Cheng Wen,Cen Zhang,Xiaofei Xie,Neal N. Xiong, Shaoying Liu, Pan Gao

IEEE Transactions on Parallel and Distributed Systems(2025)

引用 0|浏览2
关键词
Instruction reordering vulnerability,concurrency,static analysis,model checking
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要