静态分析
文章平均质量分 70
软件分析-静态分析
da1234cao
在安全领域生根发芽
展开
-
错误定位技术
错误定位技术-基于频谱的错误定位原创 2021-12-13 10:15:17 · 761 阅读 · 2 评论 -
布尔可满足性
布尔可满足性-SAT原创 2021-12-13 09:33:07 · 2425 阅读 · 0 评论 -
SMT简介
首先,通过一篇中文综述,我们简单了解 SMT 的名词解释, SMT 的应用场景。应用场景中,我们重点关注了测试用例的自动生成:通过动态符号执行获取执行路径;对前缀路径的最后一个节点取非操作;使用求解器查看是否有满足解,如果有,则为新的测试用例。简单了解 SMT 之后,我们尝试使用其中一种 SMT 求解器 z3 。大多数 SMT Solver都支持SMT-LIB。SMT-LIB其中一个目标便是促进SMT求解器采用通用语言。所以我们有必要了解下 SMT-LIB 标准。原创 2021-02-27 16:20:43 · 9786 阅读 · 1 评论 -
抽象解释-伽罗瓦连接证明数据流分析的安全性
抽象解释-伽罗瓦连接证明数据流分析的安全性原创 2021-12-12 21:42:30 · 540 阅读 · 0 评论 -
过程内指针分析
过程内流(非)敏感指针分析原创 2021-12-12 20:25:28 · 772 阅读 · 0 评论 -
过程间分析
过程间分析原创 2021-12-12 17:04:20 · 544 阅读 · 0 评论 -
静态单赋值形式-概念简介
静态单赋值形式-概念简介原创 2021-12-12 11:01:29 · 678 阅读 · 0 评论 -
三地址码转换成控制流程图
三地址码转换成控制流程图原创 2021-11-24 10:43:37 · 3334 阅读 · 0 评论 -
数据流分析简介
先介绍三种数据流分析的应用,再用给出数据流分析框架,并进行相关的证明。原创 2021-11-24 17:25:28 · 5595 阅读 · 0 评论 -
程序静态分析介绍
程序静态分析介绍原创 2021-11-17 11:52:55 · 1516 阅读 · 0 评论 -
失败的正负号分析
北大软件分析作业:使用Datalog编写程序的符号分析原创 2021-11-29 10:53:53 · 202 阅读 · 0 评论