2 citations · 5 across the 11 of their papers we have counts for
1 paper · 1 filter
Qingkai Shi, Rongxin Wu, Gang Fan +1
With an increasing number of value-flow properties to check, existing static program analysis still tends to have scalability issues when high precision is required. We observe tha…