自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(17)
  • 资源 (1)
  • 收藏
  • 关注

转载 uint8_t / uint16_t / uint32_t /uint64_t 是什么数据类型 - 大总结,看完全明白了

原文地址:http://blog.csdn.net/kiddy19850221/article/details/6655066uint8_t / uint16_t / uint32_t /uint64_t  是什么数据类型在nesc的代码中,你会看到很多你不认识的数据类型,比如uint8_t等。咋一看,好像是个新的数据类型,不过C语言(nesc是C的扩展)里面好像没有这种数

2014-01-28 13:36:03 2325

转载 KLEE软件分析

KLEE软件分析1 klee概述1.1 符号执行概述符号执行技术使用符号值代替数字值执行程序,得到的变量的值是由输入变 量的符号值和常量组成的表达式。符号执行技术首先由King在1976年提出 ,经过三十多年的发展,现在仍然被广泛研究,它在软件测试和程序验证中发挥着重 要作用。符号执行是一种重要的形式化方法和静态分析技术,它使用数学和逻辑 首先定义一些基本概念。程序

2014-01-27 14:18:12 12162

转载 C语言中字符串结束符'\0'的讨论

原文地址:http://blog.csdn.net/yeyuangen/article/details/6792683'\0'就是8位的00000000,因为字符类型中并没有对应的这个字符,所以这么写。在数值类型里就代表数字0。数值类型存储时,最高位决定正负号,其他位都为0可不就是0了么?'\0'是转译字符,意思是告诉程序,这不是字符0,我要的是数字0的2进制直接放进来,因

2014-01-26 17:50:12 1047

转载 用Teleport Ultra下载网站全部页面

原文地址http://xiaoduan.blog.51cto.com/502137/137669前几天老师交给我一个任务,就是把Commons-FileUpload 的API下载来,本来以为跟JDK的API是同样的CHM文件 上网查的时候我才发现这是一个由很多页面组成的网站,下载起来很麻烦。 怎么办呢?呵呵,一定是有办法的。Telepor

2014-01-19 20:30:21 4909

原创 Ubuntu下llvm之pass初探

(说明:llvm版本2.9)1.根据http://llvm.org/releases/2.9/docs/GettingStarted.html#tutorial写一个hello world并编译(后面要用到.bc文件)#include int main() { printf("hello world\n"); return 0;}>% llvm-gcc h

2014-01-13 20:10:55 1687

原创 ubuntu下 llvm-gcc cannot find crti.o: No such file or directory解决办法

ubuntu下当执行 llvm-gcc hello.c -o hello 命令,若出现/usr/bin/ld: cannot find crt1.o: No such file or directory/usr/bin/ld: cannot find crti.o: No such file or directorycollect2: ld returned 1 exit status

2014-01-11 20:19:54 17155

转载 ubuntu创建、删除文件及文件夹,强制清空回收站方法

原文地址http://www.cnblogs.com/lwm-1988/archive/2011/09/13/2174538.htmlmkdir 目录名         => 创建一个目录rmdir 空目录名      => 删除一个空目录rm 文件名 文件名   => 删除一个文件或多个文件rm –rf 非空目录名 => 删除一个非空目录下的一切tou

2014-01-08 22:22:53 1021

转载 linux下c编程起步一:掌握gcc基本用法

linux下c编程起步一:掌握gcc基本用法原文地址http://blog.csdn.net/dog_in_yellow/article/details/2041108  初学时最好从命令行入手,这样可以熟悉从编写程序、编译、调试和执行的整个过程。编写程序可以用vi/vim(个人觉得vim比vi好用)或其它编辑器编写。      编译则使用gcc命令。要往下学习首先就得熟悉

2014-01-08 11:24:20 824

转载 在vim中使用查找命令查找指定字符串

原文地址:http://sucre.blog.51cto.com/1084905/270556要自当前光标位置向上搜索,请使用以下命令:         /pattern   Enter           其中,pattern   表示要搜索的特定字符序列。         要自当前光标位置向下搜索,请使用以下命令:         ?pattern   En

2014-01-06 13:08:22 1082

转载 TP-link 无线路由器WDS设置方法图解_无线桥接设置

原文地址:http://www.jb51.net/softjc/39394.html点评:随着无线网络的发展,现在越来越多的公司及企业都已经开始布局无线局域网,今天我们主要介绍下适合中小企业的无线路由器桥接或WDS功能。文章以TP-link WR841N无线路由器设置为例,其它路由器参考设置思路进行设置随着无线网络的发展,现在越来越多的公司及企业都已

2014-01-05 19:30:18 1849

转载 CCleaner 4 专业版+商业版+破解版+绿色版 – 绝对可用注册码!

http://www.ihacksoft.com/ccleaner-4.html

2014-01-05 19:26:08 8836 3

转载 用GDB调试程序

http://blog.csdn.net/haoel/article/details/2879

2014-01-05 13:47:01 887

转载 vim使用教程(全)-最好的编辑器

http://www.weste.net/2011/9-7/learn-vim.htmlvim的学习曲线相当的大,所以,如果你一开始看到的是一大堆VIM的命令分类,你一定会对这个编辑器失去兴趣的。下面的文章翻译自《Learn Vim Progressively》,我觉得这是给新手最好的VIM的升级教程了,没有列举所有的vim的学习曲线相当的大,所以,如果你一开始看到的是一大

2014-01-05 13:35:16 1446

转载 《博士磨砺》&The Ph.D Grind

看到这篇文章时就被吸引,因为我也即将开始我的博士生涯,怀着好奇心,一口气读完了。。http://blog.sciencenet.cn/home.php?mod=space&uid=659466&do=blog&id=613128

2014-01-05 13:30:31 2412

转载 六款常用的linux C/C++ IDE

http://blog.ubuntusoft.com/six-commonly-used-linux-c-c-ide.html#.UsjYhI6TRcs

2014-01-05 12:02:50 780

转载 使用 LLVM 框架创建一个工作编译器

http://www.ibm.com/developerworks/cn/opensource/os-createcompilerllvm1/#list1

2014-01-02 12:12:40 1113

转载 LLVM Language Reference Manual(参考指南)

LLVM Language Reference Manualhttp://www.llvm.org/docs/LangRef.html

2014-01-02 12:09:16 1407

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除