基于约束的分析相关论文
很多静态代码分析的方法都以控制流图作为基础，本文采用一种加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最......
很多静态代码分析的方法都以控制流图作为基础，本文采用一种基于约束的分析技术，包括基于约束的0-CFA，加入数据流的分析方法构造约束......
