Daikon(C/C++ 테스트용) 설치과정

OS : CentOS 6.6(x86_64)

0. Linux에 JAVA가 설치되어있는지 확인한다.

설치되어있지 않으면 다음 과정을 통해 설치

다운로드 및 설치

cd /opt/
wget --no-cookies --no-check-certificate --header "Cookie: gpw_e24=http%3A%2F%2Fwww.oracle.com%2F; oraclelicense=accept-securebackup-cookie" "http://download.oracle.com/otn-pub/java/jdk/7u71-b14/jdk-7u71-linux-x64.tar.gz"
tar xzf jdk-7u71-linux-x64.tar.gz

cd /opt/jdk1.7.0_71/
alternatives --install /usr/bin/java java /opt/jdk1.7.0_71/bin/java 2
alternatives --config java
alternatives --install /usr/bin/jar jar /opt/jdk1.7.0_71/bin/jar 2
alternatives --install /usr/bin/javac javac /opt/jdk1.7.0_71/bin/javac 2
alternatives --set jar /opt/jdk1.7.0_71/bin/jar
alternatives --set javac /opt/jdk1.7.0_71/bin/javac

자바 버전 체크

java -version

환경 설정(.bashrc)

# export JAVA_HOME=/opt/jdk1.7.0_71

# export JRE_HOME=/opt/jdk1.7.0_71/jre

# export PATH=$PATH:/opt/jdk1.7.0_71/bin:/opt/jdk1.7.0_71/jre/bin

1. 아래의 링크에서 daikon을 다운로드 한다.

http://plse.cs.washington.edu/daikon/download/

2. 압축을 푼다.

tar zxf daikon.tar.gz

3. 환경변수를 설정한다.

# The full pathname of the directory that contains Daikon
export DAIKONDIR=$daikonparent/daikon
# The full pathname of the directory that contains the Java JDK; e.g.:
source $DAIKONDIR/scripts/daikon.bashrc

4. 환경변수를 적용

source ~/.bashrc

5. C/C++용 frontend인 Kvasir 등을 사용하려면 java 디렉토리에서 make로 컴파일을 해준다.

6. C/C++ 적용을 위해 Kvasir 를 설치하려고 하면 여러 종류의 에러가 뜨는데, 다음과 같이 해결한다.

1) dos2unix를 찾을 수 없다는 에러

yum install dos2unix.x86_64

2) aclocal을 찾을 수 없다는 에러

yum install automake

3) mc_translate.c : 253 에서 이중 typedef 관련 에러

소스파일의 해당 라인을 주석처리

4) bfd.h를 찾을 수 없다는 에러

yum install binutils-devel.x86_64