web框架介绍，不同web框架的安全特质，框架漏洞静态分析方法，框架漏洞动态分析方法，自动fuzzing人工检测等

该规则是fortify2020最新规则更新，可以添加到fortify中进行代码静态扫描，进行代码漏洞bug静态分析，提醒开发人员进行漏洞修复

IKOS IKOS（开放静态分析器的推理内核）是基于抽象解释理论的C / C ++静态分析器。 介绍 IKOS最初是一个C ++库，旨在促进基于的声音静态分析器的开发。 对于一个应用程序或一系列应用程序，静态分析仪的专业化对于实现精度和可扩展性都至关重要。 开发这样的分析器是艰巨的，并且需要在抽象解释方面的大量专业知识。 IKOS提供了最先进的抽象解释数据结构和算法的通用且有效的实现，例如控制流图，定点迭代器，数字抽象域等。IKOS独立于特定的编程语言。 IKOS还提供了基于的C和C ++静态分析器。 它实现了可伸缩的分析，以检测和证明C和C ++程序中没有运行时错误。 执照 IKOS已根据NASA开源协议1.3版发布，请参阅 接触 发行说明 见 故障排除 请参阅 安装 依存关系 要构建和运行分析器，您将需要以下依赖项： 支持C ++ 14的C ++编译器（gcc> = 4.9.2

python写的cpplint.py批量代码静态分析脚本

用于软件工程实验的报告 实现静态代码的分析 通过静态代码分析实验可以更加熟悉的掌握静态代码分析工具。

Jedi 是一个可以在 IDEs 或者编辑器中使用的 Python 代码自动补齐和静态分析工具。它的历史重点是自动完成，但现在也进行静态分析。 Jedi 好用并且快速。 它比 Python 的所有其他静态分析框架更深入地理解 Python。Jedi 支持两种不同的 goto 函数。 可以搜索相关的名称并列出 Python 文件中的所有名称并推断它们。 Jedi 理解 docstrings，你也可以在你的 REPL 中使用 Jedi 自动补齐完成。Jedi 使用一个非常简单的 API 来连接 IDE，能支持以下编辑器/项目：Vim Emacs Sublime TextTextMateKateAtomSourceLairGNOME BuilderVisual Studio Code GeditwdbEric IDE 截图 标签：Jedi

本书为ansys入门及提高教程，深入浅出的介绍了有限元分析的方法，用实例帮助难点的理解和掌握。

如何使用静态方式去分析破解apk

很好的一本书，教人审计代码进行漏洞挖掘，老外写素质还是可以的

关于微带电路设计的一本书，包含较多计算分析，理论性和实践性都很强。