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