SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis

Jiayi Wang, Yu Wang, Ke Wang, Linzhang Wang
March, 2025
Cite DOI URL
Type
Journal article
Publication
ACM Transactions on Software Engineering and Methodology
value-flow analysis incremental analysis pointer analysis