RID: Finding Reference Count Bugs with Inconsistent Path Pair Checking.

Junjie Mao, Yu Chen, Qixue Xiao, Yuanchun Shi

Browse the full ASPLOS paper archive.