![](https://img-blog.csdnimg.cn/20201014180756919.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
并发程序分析
文章平均质量分 95
Canliture
hello, 程序分析!
展开
-
中断并发程序的静态分析
最近得研究下多任务并发程序的静态分析(包括中断),于是看了这篇文章;这篇文章是国防科大的团队在15年,16年所做的工作;主要是分析中断导致的程序并发,方法是:“将程序顺序化,然后重用经典的抽象解释方法进行分析;当然,还设计了抽象域专门处理IDPs的特性”原创 2022-04-09 13:50:03 · 836 阅读 · 0 评论 -
检测并发程序Bug:[PLDI2021] Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
最近得研究下多任务并发程序的静态分析,于是看了这篇文章总体来说,看是看懂了,但是… … 这篇文章所做的工作有点多啊… 怕了怕了1. Canary: Practical Static Detection of Inter-thread Value-Flow Bugs这篇文章发表在PLDI 2021,并发Bug缺陷检查。首次将并发bug检测转化为source-sink可达性问题,有效减低冗余的线程交错处理。提出值流图上的thread-modular算法来捕获数据和干扰(interference.原创 2022-04-05 17:46:07 · 692 阅读 · 2 评论