軟件所在併發漏洞檢測方面取得進展

近期，中國科學院軟件研究所蔡彥團隊提出了併發程序中併發漏洞檢測的新方法，該團隊首次基於鬆弛可交換事件來檢測併發漏洞。該團隊提出的鬆弛可交換事件克服了傳統檢測算法的不足，即使目標事件之前存在複雜的同步約束，也可以通過鬆弛可交換事件來判斷是否可以交換。相關成果以Detecting Concurrency Memory Corruption Vulnerabilities 爲題，發表於軟件工程領域會議2

>>阅读原文<<