代码安全审计工具 RATS
- 授权协议: GPLv2
- 开发语言: C/C++
- 操作系统: 跨平台
- 软件首页: https://code.google.com/p/rough-auditing-tool-for-security/
软件介绍
RATS 是一个代码安全审计工具，可扫描 C、C++、Perl、PHP 和 Python 源码，检查出一些常见的安全问题，例如缓冲区溢出和 TOCTOU (Time Of Check, Time Of Use) 。
数学与生活（修订版）
[日] 远山启 / 吕砚山、李诵雪、马杰、莫德举 / 人民邮电出版社 / 2014-10 / 42.00元
数学是高等智慧生物的共有思维，是对真理的探索，对矛盾的怀疑，但它绝非一门晦涩难懂的学问，非应试目的的数学是纯粹而朴实的智慧。《数学与生活》为日本数学教育改革之作，旨在还原被考试扭曲的数学，为读者呈现数学的真正容颜，消除应试教学模式带来的数学恐惧感。 本书既包含了初等数学的基础内容，又包含了微分、积分、微分方程、费马定理、欧拉公式等高等数学的内容。作者运用了多个学科的知识。结合日常生活和东西方......一起来看看 《数学与生活（修订版）》 这本书的介绍吧!
