基于约束的分析相关硕士博士期刊学术论文 - 搜论网

基于约束的分析相关论文

一种基于上下文的精简控制流图方法的研究

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

期刊

静态分析基于约束的分析控制流分析不动点算法 static analysis constraint-based analysis control flow

看过本文同时还关注