申请试用
HOT
登录
注册
 
目前最流行的2个SSL开源实现完整扫描了Ubuntu12.04代码库–静态 ...
3 点赞
2 收藏
0下载
媿魅
/
发布于
/
1972
人观看
静态分析器的输出为基于AST,CFG,DFG生成的程序依赖图(PDG),包含了源代码的全部语义特征和信息流 .... 基于剪枝结果在静态分析时进行选择性编译与建模.
展开查看详情
3 点赞
2 收藏
0下载