对于程序检查的相关措施

SUN下的程序检查技术：

1. 静态检查：

  sun下提供对于程序的静态检查，一般情况下你只需要执行下面的命令

     lint -errchk -Nlevel -I/头文件地址

  静态检查是对于编译器编译时检查的补充。

2. 动态内存检查：

  启动dbx ,载入相关程序，并在程序执行前启动内存检查机制：

    (dbx) check -memuse

    (dbx) check -access

  然后启动程序：

    (dbx) run

 如果程序存在内存泄漏则将出现提示。

 

linux下的程序检查技术：

1. 静态检查：

 linux下，许多人使用pc-lint检查，除此以外，splint等开源软件也可以使用。

2. 动态检查：

 一半使用valgrid工具进行动态监测。