path-sensitive analysis

Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
When dealing with millions of lines of code, we still cannot have the cake and eat it: sparse value-flow analysis is powerful in …
PDF 引用 Paper Link