Rose Compiler and Compass Installation Guide (로즈 컴파일러와 컴패스 검사기 설치 가이드)

소개글

Rose Compiler and Compass Installation Guide (로즈 컴파일러와 컴패스 검사기 설치 가이드)에 대한 보고서 자료입니다.

목차

1. 개요
2. OS 설치
3. 소프트웨어들 설치
4. 로즈 컴파일러 설치
5. 컴패스 분석기 설치

본문내용

프로세스의 개수를 의미 합니다. make가 시간이 매우 오래 걸리기 때문에 프로세스의 개수를 늘리기 위해 4 이상의 수를 입력 할 수 있습니다.
- ROSE 컴파일러에서 쓰이는 라이브러리를 생성하기 위해서 (librose.so) make가 끝난 후에 다음과 같이 입력해야 합니다.
yourAccount$ make -C src/ -j4
yourAccount$ make -C tests/ check -j4
//make가 제대로 되었는지 확인 하기 위해서 쓸 수 있는 명령어입니다.
- 다음으로는 make 인스톨 절차와 환경변수 설정하는 절차가 남았습니다. make install 명령어와 make 명령어는 -i 옵션을 줘서 에러에 대해서 무시 하고 설치를 진행 할 수 있으나, 보통 라이브러리 한 개 만 누락되도 프로그램 실행 에러가 나기 때문에 권장 하지는 않습니다.
yourAccount$ make install
- make install 이 완료되면 터미널에 다음과 같은 문구가 나옵니다. 정상적으로 설치되지 않았다면 문구가 나오지 않습니다.
- 이제 환경변수를 설정해 주고 테스트 해보면 ROSE의 설치는 완료 되었습니다.
yourAccount$ ROSE_INS=[ROSE 설치 경로]
yourAccount$ PATH=$PATH:$ROSE_INS/bin
yourAccount$ LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$ROSE_INS/lib
yourAccount$ export LD_LIBRARY_PATH
- export로 환경변수를 적용하는 것을 하지 않으면 환경변수에 경로가 저장되지 않습니다.
설치가 완료되고, ROSE 컴파일러를 테스트 해보기 위해서 identityTranslator 명령어를 사용합니다. 이 응용 프로그램은 ROSE 설치 경로의 bin 디렉토리에 위치하고 있습니다.
yourAccount$ identityTranslator -c helloWorld.c
- 위와 같이 테스트 해볼 수 있으며, 입력된 코드 파일을 분석하여서 AST를 생성합니다. 그리고 rose_helloWorld.c 라는 이름의 원본파일과 비슷한 파일을 생성시켜 소스 대 소스 분석 이 가능하게 끔 합니다.
- build-->configure-->make-->make install 의 순서로 이어지는 설치 순서에서 혹시 없다고 하는 헤더 파일이 나와서 설치가 취소된다면,
http://www.koders.com/c/fid595528D97DC06B59D06A3D076F5667FC6090C5B8.aspx 에서 BSD 형식의 헤더 파일을 직접 카피 하여 해당 디렉토리에 넣어서 설치를 계속적으로 진행할 수 있습니다.
- 설치가 제대로 진행 되지 않을 시에 옵션 명에 대한 경로 설정이 제대로 확인 되어있는지 소프트웨어들의 버전이 알맞은지 확인해 봐야 합니다. 이는 운영체제의 종류와 버전에 따라 정리가 되어있습니다.
- 필요에 따라서 그래피컬하게 분석결과를 보여주는 QROSE 등을 추가로 설치 할 수 있습니다.
- 가장 설치 시 문제가 많이 되는 원인으로는 버전의 문제, 컴파일트리와 소스트리의 분리 유무, 라이브러리 경로설정에 대한 문제 등이 있습니다.
5. COMPASS 정적 분석기 설치
- COMPASS 정적 분석기는 ROSE 컴파일러 인프라 내부에 있는 도구입니다. 아스키 형태로 터미널에 규칙(CERT RULE) 위반에 대한 내용을 출력해 줄 수 있으며, 이클립스나 Emacs, VIM 등에서도 출력이 가능합니다. 또 QROSE를 설치 했다면 위반 내용을 GUI 상에서도 확인 할 수 있습니다.
로즈 컴파일러 인프라의 설치가 정상적으로 완료 되었다면, compass 분석기의 실행 파일인 compassMain은 로즈가 설치된 디렉토리의 bin 디렉토리에 위치하고 있습니다. 어느 경로에서나 사용하기 위해서 PATH를 추가 시켜주고 환경 변수를 다루어주어야 합니다. 추가 적인 필요 옵션 파일을 위해서 두 가지가 필요합니다.
- compass_parameters 파일은 ROSE 빌드 트리의
/projects/compass/tools/compass/ 에 위치하고 있으며 compassMain의 실행을 위해서 필요한 환경설정을 하게 됩니다. 이 파일을 사용자의 홈 디렉토리로 복사해 둡니다.
- RULE_SELECTION.in 파일은 소스트리의 projects/compass/tools/compass/ 에 위치하고 있습니다. 이것도 역시 홈 디렉토리로 복사해 둡니다. 이후에 다음과 같은 경로 설정을 해줍니다.
yourAccount$ PATH=/home/youraccount/opt/roseLatest/bin:$PATH
yourAccount$ export PATH
yourAccount$ LD_LIBRARY_PATH=/home/youraccount/opt/roseLatest/lib
:$LD_LIBRARY_PATH
yourAccount$ export LD_LIBRARY_PATH
yourAccount$ export COMPASS_PARAMETERS=/home/youraccount/
compass_parameters
- compass 분석기의 실행은 compassMain을 터미널에 입력해서 진행할 수 있습니다.
- compassMain을 입력한뒤에 뒤에 분석할 C언어 소스 파일을 입력하면 됩니다. 지원하는 CERT RULE에 대한 예제 소스 파일은 로즈 컴파일러 설치시 tests 디렉토리 등에 예제 파일과 분석된 소스 파일 예제들이 포함되어 있습니다. 실행시키게 되면 CERT RULE에 위반되는 것을 발견시에 위와 같이 터미널로 위반 사항에 대해서 출력하며, GUI 툴 이용시에는 GUI 환경에서 입력시에 VC++이나 이클립스 처럼 입력 뒤에 에러를 표시하는 식으로 위반 사항을 표시 합니다.
- LLNL의 로즈 컴파일러 공식 사이트인 www.roseCompiler.com 에서는 AST 트리와 기본적으로 쓰이는 클래스들에 대해 oracle의 API 설명처럼 웹 페이지 형식으로 제공하고 있습니다. http://www.rosecompiler.org/ROSE_HTML_Reference/index.html

키워드

Rose compiler,   rose compass,   Compass 분석기,   정적분석기,   설치가이드,   java 설치,   boost 설치,   컴파일러