安全客 - 安全资讯平台

程序分析理论

程序分析理论最后一篇

程序分析理论

今天这篇文章主要就是介绍，具体的语法并没有特别的写出，关于约束条件也没有提及，主要通过例子简单介绍这些方法是做什么的。算法部分也就是简单逻辑和伪代码。

DR003XM
2021-08-18 15:30:07

211957次阅读

程序分析理论

程序分析理论第五部分对控制流分析的基于类型和响应的系统模型

程序分析理论

本篇是程序分析理论第十一篇：基于类型和响应的系统模型Type and Effect Systems。

DR003XM
2021-08-16 14:30:50

181112次阅读

程序分析理论

程序分析理论第四部分抽象解释伽罗瓦关系

程序分析理论

程序分析理论第十篇抽象解释，从理论角度寻找分析程序的通用方法并找到数学依据使之可行。

DR003XM
2021-08-13 10:30:07

204765次阅读

程序分析理论

程序分析理论第三部分上下文敏感的引入数据的控制流分析

程序分析理论

程序分析理论第九篇，关于上下文敏感的引入数据的控制流分析以及控制流分析的算法：笛卡尔积算法。

DR003XM
2021-08-11 15:30:44

195375次阅读

程序分析理论

程序分析理论第三部分控制流分析以语法为导向和基于约束

程序分析理论

本篇文章是程序分析理论部分第八篇，关于以语义为导向和基于约束的控制流分析，不仅仅有分析语义，还有部分理论证明以及最后的伪代码说明。

DR003XM
2021-08-09 16:30:16

200041次阅读

程序分析理论

re2c浅探

程序分析理论

本文主要依据NFAs with Tagged Transitions这篇论文以及re2c自身代码进行描述。

DR003XM
2021-08-05 14:30:13

204903次阅读

程序分析理论

程序分析理论第三部分控制流分析理论证明

程序分析理论

这一篇文章是程序分析理论的理论部分的第七篇，是控制流分析部分的数学表示合理性的理论证明。

DR003XM
2021-08-04 14:30:04

197997次阅读

程序分析理论

程序分析理论初实践抽象化 CFG AST

程序分析理论

不知道大家还记不记得popmaster这道题。当初出题人用了php parser实现抽象代码树从而达到程序分析目的。之前我们只讲到数据流分析所以我使用了过程间分析的原理和函数递归的思想实现程序分析。

DR003XM
2021-08-02 10:00:35

221583次阅读

程序分析理论

php parser与lexical scanner分析

程序分析理论

读完本文只需要记得phpparser基于zend’s lexical scanner，zend’s lexical scanner基于re2c。下一次我们会分析一下re2c看看究竟抽象化是怎么通过代码实现的。

DR003XM
2021-07-29 14:30:59

217653次阅读

程序分析理论

程序分析理论第三部分控制流分析抽象化和数学表示

程序分析理论

这一篇文章讲的是控制流分析的抽象化和数学表示。

DR003XM
2021-07-14 10:00:57

298072次阅读