Understand.5.1.989破解版（高效代码静态分析神器详解，2019.6发布最新版本）
2021-10-02 18:37:13
267.05MB
1
vim-shellcheck：用于ShellCheck的Vim包装器，用于Shell脚本的静态分析工具
2021-09-29 15:56:04
7KB
1
行业分类-设备装置-一种航天嵌入式C语言软件运行时错误的静态分析方法.zip
2021-09-11 09:05:32
677KB
针对PDF的漏洞及相应攻击手段日新月异，传统的恶意PDF文档检测技术难以应对各种新型威胁。目前针对恶意PDF文档检测的研究已取得一定成果，为了更深入地解决该技术存在的不足，采用文献分析方法，首先讨论了必要性、简述了其相关概念和检测基本框架；其次针对其分析技术的不同将现有方案进行分类，从适用范围、检测效果、检测效率等多个方面进行对比分析。最后归纳了该领域当前的热点和发展前景。
2021-08-15 23:06:10
1.16MB
1
数据流分析理论及实践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