JavaPathFinderのインストール方法(コマンドライン編)

Debian LinuxにJavaPathFinderをコマンドラインで動くようにインストールしたのでメモします。

1) /etc/apt/source.listを修正

   SunのJDKをインストールするため/etc/apt/source.listの以下記載を修正

[修正前]deb http://ftp.jp.debian.org/debian/ squeeze main

[修正後]deb http://ftp.jp.debian.org/debian/ squeeze main non-free

2)リポジトリを更新

>　apt-get update 

3)JDK6をインストール

>　apt-get install sun-java6-jdk

4)利用するJavaを変更する

以下コマンドよりインストールしたSunのJavaを選択する。

>　update-alternatives --config java 

選択するJavaのパスは以下。

/usr/lib/jvm/java-6-sun/jre/bin/java 

JavaPathFinderのビルドはSunのJavaに

5)Antをインストール

> apt-get install ant

6)Mercurialをインストール

> apt-get install mercurial

7)JPFをクローン

>　hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core

8)ビルド

クローンしたjpf-coreフォルダに移動してantコマンドを実行

9)サンプルを動作確認

> bin/jpf HelloWorld

以下のように表示されたらインストール完了

JavaPathfinder v6.0 (rev 679) - (C) RIACS/NASA Ames Research Center

====================================================== system under test

application: HelloWorld.java

====================================================== search started: 12/03/13 22:27

I won't say it!

====================================================== results

no errors detected

====================================================== statistics

elapsed time:       00:00:00

states:             new=1, visited=0, backtracked=1, end=1

search:             maxDepth=1, constraints hit=0

choice generators:  thread=1 (signal=0, lock=1, shared ref=0), data=0

heap:               new=319, released=11, max live=319, gc-cycles=1

instructions:       2902

max memory:         15MB

loaded code:        classes=74, methods=956

====================================================== search finished: 12/03/13 22:27

10)任意のクラスを検証する場合

> <jpf-core-dir>/bin/jpf +classpath=. <application-main-class>