会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
上官筱儿
博客园
首页
新随笔
联系
管理
订阅
2016年5月23日
[Linux]klee以及某内存泄漏检测工具安装使用遇到的坑
摘要: 每次做内存泄漏的内容都是一次linux下的c语言速成强化班,感觉每隔一段时间就让我回顾一下linux下的编程。但是作为一个不长期使用linux编程环境的人来说,还是遇到了不少坑,尤其是环境。 首先KLEE作为一个符号执行工具确实有其强大之处,官网详见http://klee.github.io/ 。
阅读全文
posted @ 2016-05-23 11:00 上官筱儿
阅读(950)
评论(0)
推荐(0)
编辑
公告