C代码分析工具 Frama-C
- 授权协议: LGPL
- 开发语言: C/C++
- 操作系统: Windows
- 软件首页: http://frama-c.com/
- 软件文档: http://frama-c.com/download/user-manual-Neon-20140301.pdf
软件介绍
Frama-C 是一个用来分析 C 代码的工具，它收集了很多静态统计技术，如代码切片和依赖分析等。
C语言程序设计现代方法
K. N. King / 人民邮电出版社 / 2007-11 / 55.00元
《C语言程序设计现代方法》最主要的一个目的就是通过一种“现代方法”来介绍C语言，实现客观评价C语言、强调标准化C语言、强调软件工程、不再强调“手工优化”、强调与c++语言的兼容性的目标。《C语言程序设计现代方法》分为C语言的基础特性。C语言的高级特性、C语言标准库和参考资料4个部分。每章都有“问与答”小节，给出一系列与本章内容相关的问题及其答案，此外还包含适量的习题。一起来看看 《C语言程序设计现代方法》 这本书的介绍吧!
