【专栏】
LuoXuan
自动审计工具 原理+实现
11篇文章2人关注
初实践初探索 现有已实践部分的整合 自动机和popmaster尝试
+116赞
0条评论
收藏
伪代码描述
+116赞
0条评论
收藏
基于类型和响应的系统模型
+115赞
0条评论
收藏
抽象解释 伽罗关系
+115赞
0条评论
收藏
以语法为导向 上下文敏感 基于约束 添加数据流分析
+115赞
0条评论
收藏
理论证明
+115赞
0条评论
收藏
抽象化和数学表示
+115赞
0条评论
收藏
数据流分析中的过程间分析
+115赞
0条评论
收藏
数据流分析中的过程内分析。
+11赞
0条评论
收藏
数据流分析的介绍及可计算的简单验证。
+11赞
0条评论
收藏
  • 下一页
内容需知
合作单位
  • 安全客
  • 安全客
Copyright © 北京奇虎科技有限公司 三六零数字安全科技集团有限公司 安全客 All Rights Reserved 京ICP备08010314号-66