value-flow analysis

SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis
Jiayi Wang, Yu Wang, Ke Wang, Linzhang Wang
Cite DOI URL