蛐蛐

摘要： 这段时间在给一些在职本科的小孩子们上课，突然回忆起自己当年本科学习《微机原理与接口技术》这门课，感觉很惭愧，学的很多东西都记得不大清了。但是当我回头看看这本书的时候，也就不难理解当年自己那种云里雾里的感受了，用这样的教材，真的是误人子弟啊。我们当年用的课本的最新版链接是：http://book.douban.com/subject/1239265/我们当年用的是第四版的，我今天简单翻了翻这本书第3章《半导体存储器》这章的内容，看完了概述，感觉有些话不吐不快。这本书3.1.1节介绍“存储器的分类”。书里基本上是这样组织内容的：1. 按存储器所采用的元件分，有磁芯存储器、半导体存储器、磁泡存储器… 阅读全文

摘要： 今天又回顾了一下这篇文档：A Survivor's Guide to Java Program Analysis with Soot中介绍的内容，这个文档第20页介绍了一些使用Soot进行最简单分析的方法，这里把这个章节的第一部分翻译成中文，也算是加深印象吧。安装好Soot的Eclipse插件后，在需要分析的源代码上点击右键——“Soot”——“Process Source File”——“Run Soot”，在弹出的对话框左侧列表中选择“Output Options”——在右侧中间的“Output Format”复选框中选择“Jimple File”，然后，在左侧列表中选择“Phas 阅读全文

摘要： 今天上午开会的时候，有师弟建议我举个多线程编程最简单的实例，于是开完会后找出了自己5年前写的代码，简单看了看。有时候，我们使用多线程仅仅是为了提高并行处理的效率，那么这时候可以不考虑原子性操作、同步互斥等问题。简单参考了一下网上的很多教程，结合自己之前的代码，举个例子（这里以最简单的Win32控制台程序为例）：首先需要设置工程属性，以支持多线程，以VC++ 6.0 IDE中文版为例，设置方法是：“工程”——“设置”——“C/C++”选项卡——下拉式列表中选择“Code Generation”——在“Use Run-Time Library”下拉式清单方块中，可以看到用于“Release”设定的 阅读全文

摘要： DaCapo数据集是目前软件分析，特别是动态分析方面经常用到的数据集，但是我之前一直不是很了解，想从今天开始进行深入的学习。在我之前的一篇博客里，引用了Eric Bodden的一篇博文，主要讲用temiflex和Soot来对Dacapo数据集进行静态分析，但是对DaCapo数据集并不是很了解。下面的几篇文章都用到了DaCapo数据集：E. Bodden, "Efficient hybrid typestate analysis by determining continuation-equivalent states," in Proceedings of the 32nd 阅读全文

摘要： 今天开始在一台新的服务器上配置能连接数据库的Java程序，这里选择连接MySQL。这篇日志里，将记录一些经验和自己的疑问。感兴趣的朋友，可以结合参考我之前的一篇博客，一起来学习一下。首先，还是在：http://www.mysql.com/downloads/mysql/下载MySQL安装程序。按照之前博客总结的简单步骤，安装好MySQL的最新版本后（我这里是5.5.16），还是选择Navicat作为可视化管理工具（我也没有仔细调研过其他可视化管理方法，这个工具我拥有的破解版本也比较老）。（上述过程也请到我之前的一篇博客参考）。其次，下载MySQL的官方JDBC连接器。点击 http://dev 阅读全文

摘要： 今天有一个非常实际的需求，想知道怎么通过运行最简单的DOS或者批处理命令，得到某个目录下所有文件夹的名称，记得之前有师弟给我拷贝过一个批处理命令大全，但是已经找不到了。在CSDN上下载了一个命令大全，发现也不太好用。之后又找了两种方法，这里总结一下：1. 使用批处理命令。将下列代码拷贝，并新建一个.bat文件，直接运行，即可得到一个临时的记事本文件。@echo offecho\正在罗列目录，请稍候……(echo\不含子目录echo\------------------------------for /f "delims=" %%a in ('dir /b /ad % 阅读全文

摘要： SIR是目前软件研究领域非常著名的数据集，大量研究在使用SIR中的标准数据集。例如：P. A. Nainar and B. Liblit, "Adaptive bug isolation," in Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, Cape Town, South Africa, 2010, pp. 255-264.R. Santelices and M. J. Harrold, "Exploiting prog 阅读全文

摘要： 周末的时候，抽时间继续学习了一下Soot。主要是看这个页面：http://www.sable.mcgill.ca/soot/tutorial/index.html中第二栏“Using Soot as a Compiler Framework”中的最基础的教程：Creating a Class File from Scratch，这个教程的PDF文件可以点击此处下载。通过昨天的学习，明白了这个教程的意义，是通过手动调用Soot API生成Hello World程序这种方式来了解基于Soot框架的最基本编程方法，熟悉Soot中Scene，SootClass等类的基本使用方法。下面以Soot 2.4 阅读全文

摘要： 今天开始尝试使用JPF的可视化模块，jpf-shell，按照链接：http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-shell的提示，还是在repositories中克隆了最新的版本。但是在build的时候还是遇到了一些问题：和之前的安装方法一样，在命令行下进入其安装目录，如C:\Documents and Settings\Administrator\jpf\jpf-shell中，输入：bin\ant test结果报错：ERROR: can't find javac, no C:\Program Files\Java\j 阅读全文

摘要： 这段时间一直在看CBMC这个Model Checker（http://www.cprover.org/cbmc/），如果要使用其Eclipse插件，需要进行少量的配置，这些天一直在尝试。按照这里：http://www.cprover.org/eclipse-plugin/的要求，需要安装Eclipse Helios (3.6.2)这个特定版本，经过测试，确实需要该特定版本，3.7.0不能正常使用。并且需要下载Eclipse IDE for C/C++ Developers，其他版本均不能正常使用（CBMC毕竟是针对C/C++的model checker，在上篇日志中，转载了Eclipse C+ 阅读全文