数据流分析理论及实践Data Flow Analysis Theory and Practice
2021-08-13 19:56:33
2.27MB
1
01 主流白盒思路
02 JVM&DVM
03 CFG构建
04 有限状态机
05 内存模拟
06 污点追踪
2021-08-08 17:00:19
1.85MB
主要围绕静态审计的定位，介绍静态分析的本质及开源静态分析技术的发展；针对如何进行自动化分析、如何分析变量函数之间的关联、如何提高静态分析的准确度等问题提出一些解决措施。从而引出对静态审计的局限与发展的思考
目标定位
思路|关联
局限|展望
2021-08-08 13:00:13
4.64MB
ts-morph
和相关项目的Monorepo。
配套
-TypeScript编译器API包装器。 提供了一种以编程方式导航和操作TypeScript和JavaScript代码的简便方法。
用于快速使用Compiler API进行设置的独立库。
资源资源
2021-07-05 16:25:04
1.93MB
1
该规则是fortify2020最新规则更新，可以添加到fortify中进行代码静态扫描，进行代码漏洞bug静态分析，提醒开发人员进行漏洞修复
2021-06-16 15:46:40
9.77MB
1
本人拿自己做过的项目apk进行简单测试，结果可行！该工具详细测试步骤见博客地址：http://blog.csdn.net/u013396632/article/details/78924349
2021-06-15 15:20:30
23KB
1
完全自主知识产权国产软件。对c/c++/java代码进行静态分析。主要包括控制流图（函数调用关系图、类图、文件关联关系图）生成，复杂度、循环等主要度量指标的计算、千余条编码规则检查等功能。既能够单个文件分析，也能够分析整个文件夹。
2021-06-04 12:00:20
16.39MB
1