代码

源代码分析.pdf

  目前,源代码分析是软件工程领域的必备方法之一,有着强烈的工程需求和实用价值,已成为国际学术界和工业界的一个热点。本书从源代码分析的基本概念开始,将其中所涉及的重要的技术和应用——抽象解释、符号计算、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算和约束求解

Simulink建模基础及C2000 DSP代码自动生成.pdf

本书主要介绍 C2000 DSP 控制代码的自动生成。由此从两个方面(建模与代码自动生成)逐次展开,引导读者学习自动生成算法模型 DSP 控制代码的方法。 在建模部分:重点介绍 Simulink 的常用模块功能与基于 MATLAB R2017a 版的 Simulink 建模基础,