详细介绍了基于静态数据流检测的android权限检测方法，有助于开发android安全软件

数据流分析的实验过程，主要对算法进行数据流分析，形成DFG图的过程，仅供参考

利用 WinHex、Wireshark 等工具，逆向分析“潜逃之谜.pcap”文件，根据 案件描述找到案件调查线索，理解并掌握基于 Wireshark 的网络数据流分析方法。

数据流分析理论及实践Data Flow Analysis Theory and Practice

这篇论文介绍了如何在多项式时间内，通过将一大类程序间数据流分析问题转化为一类特殊的图可达性问题来进行解决，从而实现精确求解的方法。

weakscan是拥有独立知识产权的国产软件，能够检查c/c++/java代码文件中存在的代码漏洞。包括内存泄漏、缓冲区溢出、越界访问、SQL注入、格式化字符串劫持等百余中漏洞。

相关呼叫分析 该项目的目标是通过相关调用消除不可行的路径，从而使 Java 程序的数据流分析更加精确。 如果在同一个接收器对象上调用两个方法调用，则认为它们是相关的。 该分析依赖于 [1] 中描述的过程间分布式环境 (IDE) 数据流分析算法。 [1] Sagiv、Mooly、Thomas Reps 和 Susan Horwitz。 。 斯普林格柏林海德堡，1995 年。 项目 概述 分析的代码是用编写的。 我们的分析依赖于 ，这是一个对用 Java 编写的 Java 字节码进行静态分析的库。 为了方便在 Scala 中使用 WALA，我们使用库。 为了能够将我们自己的修改添加到 WALAFacade，我们在这个项目中包含了它的源代码。 因此，我们的分析代码在ca.uwaterloo.dataflow包中，而 WALAFacade 代码，经过一些小的修改，在edu.illinois.

漏洞扫描工具主要功能是检查c/c++/java文件中存在的代码漏洞。漏洞包括缓冲区溢出、双重释放、指针在操作、除零等数十条漏洞。既可以扫描单个函数，也可以扫锚整个文件，还可以扫描整个文件夹。而且，用户还能够依据自身的具体需求选用相应的扫描策略。

数据流分析理论及实践Data Flow Analysis Theory and Practice

定制数据流计算软件处理器中的热点分析和数据流分析