- 博客(6)
- 收藏
- 关注
RSS订阅原创 千里码：热点营销-2
上一篇博客笔记的末尾提到，碰到数据量较大的图，需要计算图的连通分支个数时，如果使用邻接矩阵来保存图，会发生内存不足的情况。下面记录一下使用并查集来解决该问题的办法。
2016-10-10 22:18:23
255
原创 WLLVM(whole-program-llvm)的使用
因为在做KLEE的coreutils实验时要获取coreutils的LLVM Bitcode，然而KLEE官方提供的klee-clang的脚本对于我基于LLVM3.4安装的KLEE是不可用的，查找问题的时候，看到很多开发者都推荐使用WLLVM项目来获取LLVM Bitcode，就用它做了下面的实验
2016-07-13 11:37:57
5485
6
原创 Use KLEE to Test GNU Coreutils
这篇博客讲一下我在做KLEE: Unassisted and Automatic Generation of High-CoverageTests for Complex Systems Programs(OSDI 2008)Coreutils实验时遇到的问题实验是按照官方教程做的Step 1：Build coreutils with gcov这个其实跟KLEE没有多大关系，按着说的来就行了Step
2016-07-10 21:57:09
1249
原创 符号执行工具KLEE安装
系统环境VMware workstations 10.0Ubuntu-14.04-desktop-amd64RAM：4GBROM：50GBCPU：Intel-i7-4core1. 安装步骤按照官方安装文档Build KLEE with LLVM3.4来就行2. 注意事项2.1 .bashrc文件在~/.bashrc直接gedit ~/.bashrc便可编辑 2.2 第4部Build u
2016-07-10 21:12:03
1839
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人