学习笔记
文章平均质量分 53
wxywang89
这个作者很懒,什么都没留下…
展开
-
BitBlaze Vine和TEMU的安装
在安装之前自然需要下载Vine和TEMU的源代码啦。Vine的官网(戳这里)和TEMU的官网(戳这里)分别提供了Vine和TEMU的源码下载。在下载完成后,下面开始Vine和TEMU的安装。 一、gcc-3.4的安装和设置本次安装的平台是Ubuntu 12.04,使用的编译器是gcc-3.4.6。Ubuntu 12.04的默认编译器是gcc-4.6,但是TEMU安装的编译只支持gcc-原创 2013-05-08 13:36:58 · 1958 阅读 · 0 评论 -
OCaml语言学习笔记(一)——Introduction to Objective Camel
Chapter1: Introduction Objective Caml语言又称OCaml语言,是ML(Meta Language)语言家族的一种。OCaml语言与传统的ML语言有相同之处,同时又有自己独有的特点。 ML语言的特点如下: 1. ML语言是函数式语言(functionallanguage)。函数在ML语言中可以被嵌套、作为参数进翻译 2013-07-13 13:23:51 · 2569 阅读 · 0 评论 -
OCaml学习笔记(二)——Introduction to Objective Camel
Chapter2: Simple Expressions2.1 注释语句 OCaml语言中注释部分写在(*和*)之间,可以相互嵌套。注释部分当作空格处理。 2.2 基本表达式 OCaml中每个有效的表达式都有一个类型,某个类型的表达式不能用作其他的类型使用。通常不需要显式标明表达式的类型,OCaml会通过类型推导来推导表达式的类型。翻译 2013-07-13 13:39:29 · 2283 阅读 · 0 评论 -
Ubuntu下利用scp在虚拟机和主机之间传输文件
在Ubuntu下使用虚拟机时经常需要在虚拟机和主机之间进行文件传输。Ubuntu的scp指令就能够方便地实现这个功能。首先介绍一下本次使用的主机host操作系统是Ubuntu12.04,使用qemu搭建虚拟机,虚拟机guest的操作系统也是Ubuntu12.04。首先需要在host主机上安装openssh服务器。安装命令如下: host$ sudo apt-get install原创 2013-10-19 13:53:38 · 6366 阅读 · 0 评论 -
符号执行平台S2E的安装
本次编译安装使用的操作系统是64位Ubuntu12.04。(注意:S2E只能在64位机上运行)首先在S2E的官网(https://s2e.epfl.ch/projects/s2e)上下载S2E的源代码,本次编译安装使用的是s2e-source-1.2-27.04.2012.tar.bz2。将文件解压,得到s2e-public文件夹。在s2e-public/docs目录下找到BuildingS2原创 2013-11-22 10:35:49 · 3446 阅读 · 9 评论 -
ubuntu12.04下安装eclipse和jdk
最近需要在ubuntu下使用java进行开发,于是乎需要进行ubuntu下eclipse和jdk的安装。在网上找了各路大神的文章和直到,在这里记下自己的安装过程,以备之后的使用。首先需要安装jdk,安装的步骤如下:1.下载安装jdk$sudo apt-getinstall openjdk-6-jdk2.查看当前系统中的JVM$sudoupdate-alternatives --原创 2013-05-20 19:32:46 · 577 阅读 · 0 评论