[지디넷코리아]지난번 강좌(도전!「버그 제로」프로그래밍)에서는 안전한 프로그래밍을 하기 위해 주의해야 할 점에 대해 알아봤다.

앞의 강좌가 조금 어렵게 느껴지는 독자도 있을 것이다. 하지만 안전한 프로그래밍을 위한 도구를 사용하면 그런 독자들도 쉽게 소스 코드의 문제점을 파악할 수 있다. 그러면 소스 코드의 문제점을 검사하기 위한 툴에 대해 알아보자.

소스코드를 검사해 문제를 집어내는「ITS4」
ITS4는 Cigital에서 만든 툴로서 C/C++ 소스 코드를 검사해 문제점이 있는 코드를 찾아준다. ITS4의 소스코드를 www.cigital.com/its4에서 구할 수 있다. 그러면 ITS4를 리눅스 시스템에 설치해 실행하는 과정을 알아보자.

[1] ITS4 설치 파일(its4-1.1.1.tgz)을 사용자의 홈 디렉토리로 다운로드한다.
[2] 다음 명령을 실행해 파일의 압축을 푼 다음 its4 디렉토리로 이동한다.
   > tar xvzf its4-1.1.1.tgz
   > cd its4
[3] > ./configure; make; make install 명령을 실행해 컴파일하고 its4를 시스템에 설치한다.
[4] 앞의 명령을 실행했으면 /usr/local/bin/its4라는 실행 파일이 생겼을 것이다.

its4가 어떤 문제점을 찾아내는지 검사해 보자. 검사를 제대로 하는지 확인하기 위해 필자가 직접 예제 코드를 작성했다. 예제 코드는 의도적으로 문제가 생길 만한 함수를 많이 집어넣은 코드다.

[리스트 1] list.cpp - 검사 툴을 테스트할 예제 코드

1> #include <stdio.h> 2> 3> int main(void) 4> { 5>        int my_val; 6>        char buf[32] 7>        FILE * fp; 8> 9>        strcpy( buf, argv[1]); 10> 11>       printf( *buf = %s \n"m buf ); 12> 13>        fp = fopen("list1.out", "w"); 14>        fprintf( fp, "buf = %s \n", buf); 15>        fprintf( fp, "hello, world" ); 16> 17>        fclose(fp); 18> 19>        return 0; 20> }

그러면 its4를 이용해 이 소스 코드를 분석해 보자. 리눅스 명령행에서 its4를 실행한 결과가 [화면]에 나와 있다. [화면]에서 알 수 있는 것처럼 its4에서는 문제있는 함수의 목록을 출력해 준다. 물론 its4가 출력한 결과가 모두 맞는 것은 아니다. 그렇지만 its4를 사용하면 코드 검사 시간을 많이 줄일 수 있다.


[화면] 리눅스에서 list4를 실행한 결과
C는 물론 PHP, 파이썬까지 검사하는「RATS」
RATS는 Secure Software Solutions에서 만든 오픈소스 툴이다. RATS를 사용하면 C, C++, Perl, PHP, 파이썬 소스 코드의 버그를 발견할 수 있다. RATS는 유닉스용과 윈도우용 모두 나와 있기 때문에 플랫폼에 구애받지 않고 사용 가능하다.

RATS를 사용해 윈도우 환경에서 소스 코드 검사를 해 보자. 먼저 www.securesoftware.com/download_form_rats.htm에서 rats-2.1-win32.zip 파일을 다운로드하고 압축을 푼다. 그러면 rats.exe 파일이 생길 것이다. rats를 사용하려면 expat이라는 XML 파싱 라이브러리를 먼저 시스템에 설치해야 한다. Expat은 prdownloads.sourceforge.net/expat/expat_win32bin_1_95_6.exe?download(expat_win32bin 버전 1.95.6)에서 받을 수 있다. 그럼 rats를 통해 앞서 소개했던 list1.cpp를 분석해 보자. 그 결과는 다음과 같다.

여기서 볼 수 있는 것처럼 rats에서는 위험이 있을 가능성이 있는 두 줄의 코드를 찾아냈다. [화면]과 앞의 코드를 비교해 보면 its4가 더 많은 문제점을 찾아내는 것을 알 수 있다.