目前最流行的2个SSL开源实现完整扫描了Ubuntu12.04代码库–静态 ...

静态分析器的输出为基于AST,CFG,DFG生成的程序依赖图(PDG),包含了源代码的全部语义特征和信息流 .... 基于剪枝结果在静态分析时进行选择性编译与建模.
展开查看详情