PGRelief案例学习
对逻辑错误进行的指摘
代码逻辑错误
高精度指摘的例子
pgr0000：有可能在参照之前没有设定值。
不是简单地对可能造成缺陷的代码进行指摘，而是利用其精确的验证机制，对不会造成缺陷的地方不进行指摘。
对内存相关的错误进行的指摘
不正确的内存访问
使用了0地址
内存空间的破坏（越界访问）
内存泄漏
没有释放malloc函数分配的内存空间
没有释放自定义函数分配的内存空间
- 南京富士通南大软件技术有限公司 >
- 产品与服务 >
- PGRelief >
- 案例学习
