安全KER - 安全资讯平台

程序分析理论

php parser与lexical scanner分析

程序分析理论

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

DR003XM
2021-07-29 14:30:59

315859次阅读

程序分析理论

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

程序分析理论

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

DR003XM
2021-07-14 10:00:57

399355次阅读

程序分析理论

程序分析理论第二部分数据流分析过程间分析

程序分析理论

在之前，我们介绍的都是一些简单的代码块，没有涉及函数的调用等复杂情况，接下来，我们学习过程间分析的一些技术来实现对复杂情况的研究。

DR003XM
2021-06-25 16:30:30

463640次阅读

强网杯

从popmaster理解程序分析理论部分内容

强网杯

程序分析理论

看到作者的出题思路是抽象代码树和污点分析，因为之前发了几篇程序分析理论的文章但是一直没有实践，所以拿这道题自己实践一下。

DR003XM
2021-06-22 14:30:03

366057次阅读

程序分析理论

程序分析理论第二部分数据流分析理论证明

程序分析理论

程序分析理论第四篇关于数据流分析的部分理论证明。这一部分只包含笔者粗浅理解的部分，如有不对之处，欢迎指点。也欢迎各位交流

DR003XM
2021-06-21 15:30:22

340571次阅读

程序分析理论

程序分析理论第二部分数据流分析过程内分析

程序分析理论

本文是程序分析理论第三篇，数据流分析中的过程内分析。

DR003XM
2021-06-15 16:30:26

319392次阅读

程序分析理论

程序分析理论数据流分析第一部分介绍

程序分析理论

本文是程序分析理论系列的第二篇，内容为数据流分析的介绍及可计算的简单验证。

DR003XM
2021-06-13 10:00:56

470378次阅读 5

程序分析理论

程序分析理论（引论）

程序分析理论

本文是关于设计静态分析程序的前置基础理论系列介绍的第一章引入和介绍。

DR003XM
2021-06-09 12:00:37

804689次阅读 2