在对 dup / dup2 的源码分析中，我遇到了一对 annotation ，即 和 经查阅，此为内核代码静态分析工具 Sparse 的 annotation 。Sparse 通过 gcc 的扩展属性 以及自己定义的 来对代码进行静态检查 。 其他可见 "内核文档" 或 "一篇博客" 。 ...
分类：
其他好文 时间：
2019-11-24 19:45:40
阅读次数：
71
1、valgrind valgrind安装：参考：https://blog.csdn.net/justheretobe/article/details/52986461 wegit：http://valgrind.org/downloads/valgrind-3.12.0.tar.bz2 tar - ...
分类：
其他好文 时间：
2019-09-12 23:20:11
阅读次数：
168
HLT: HIGH LEVEL TEST。站在系统的角度对整个版本进行的测试，它测试的对象是一个完整的产品而不是产品内部的模块，关注的是产品外部的可见属性，通常使用黑盒测试技术。常见的HLT包括系统测试和自动化验收测试。主要有两个工具：持续集成工具和自动化执行工具。持续集成工具主要完成代码的静态检查 ...
分类：
其他好文 时间：
2019-07-05 22:25:07
阅读次数：
246
断言和防御性编程 目录回忆：设计和抽象数据类型 断言 什么断什么不断 使用断言的指导方针 防御性编程 防御型编程的技巧 回忆 第一层防御：使bugs不可能 最好的防御bug的方法就是在设计的时候就尽量避免bug - 静态检查：在编译的时候，可以抓住许多bug - 动态检查：比如数组溢出 - 不变量： ...
分类：
其他好文 时间：
2019-05-21 00:13:32
阅读次数：
194
1 /// 2 /// 检查是否是静态成员 3 /// 4 /// 5 protected bool CheckStatic(PropertyInfo propertyInfo) 6 { 7 var getMethod = propertyInfo.GetMeth... ...
vscode 搭建react-native 选择：vscode + typings + eslint * vscode: 宇宙最强IDE家族的最新产品 * typings: 基于typescirpt的接口文件 * eslint: 代码静态检查，技能检测低级的语法错误，又能规范代码格式和应用最佳实践 ...
分类：
其他好文 时间：
2018-12-21 13:22:02
阅读次数：
232
1、version: 查看golang版本 例：go version 2、run: 编译并运行go程序 例: go run main.go 3、build: 编译go程序，不允许 例：go build main.go4、vet: 静态检查 例：go tool vet . //静态检查当前目录下所有文 ...
分类：
其他好文 时间：
2018-12-10 17:59:34
阅读次数：
157
使用cppcheck给工程代码做静态检查，主要发现了以下几个问题： 1.使用C风格的类型转换 警告如下： 应该使用C++提供的static_cast, const_cast, dynamic_cast 和 reinterpret_cast 做类型转换，明确转换的类型。 2.迭代器使用后置叠加（叠减） ...
分类：
其他好文 时间：
2018-12-03 23:03:15
阅读次数：
318
sourceinsight-scan 是一款集成在 SourceInsight 中的c/c++代码静态分析插件 用pclint搭建不出来 目前公司用这个了 也挺好用的 可以发现内存泄漏 逻辑错误 数组越界 等这些。 下载地址 https://sourceforge.net/projects/sisc ...
分类：
其他好文 时间：
2018-11-29 22:29:31
阅读次数：
825
AOP概述 1、AOP术语 连接点：连接点好比一个类的方法，每一个方法都是一个连接点 切点：每个方法有大量的逻辑构成，可以将任何一个位置作为执行点，这个执行点作为切点。 增强：就是嵌入方法中的一段逻辑。 目标对象：织入增强的目标类。 引介：特殊的增强，为类加入方法和属性。 织入：将增强嵌入切点的过程 ...
分类：
编程语言 时间：
2018-11-27 01:41:30
阅读次数：
124
