sysss-blogs

摘要： Background 这一部分介绍了 llvm 中的 partial SSA 和 SVFG 程序先通过 partial SSA form 进行转换。所有变量的集合标识为 \(\mathcal{V}\)，address-taken 变量表示为 \(\mathcal{A}\)，top-level 变量表 阅读全文