기본 콘텐츠로 건너뛰기

Secure-Coding-C-preprocessor-2

Secure-Coding-C-preprocessor-2

C 언어 시큐어 코딩 - Preprocessor-2

안전하지 않은 매크로 인자로 인한 부작용 발생을 피한다.

인자 중 하나를 두 번 이상 평가하거나 전혀 평가하지 않는 함수 형태 매크로는 안전하지 않다. 또한 할당, 증가, 감소, 휘발성 액세스, 입출력 등의 부작용을 유발할 수 있는 함수 호출을 포함하는 매크로는 호출하지 않는다.

함수 형태 매크로 사용 시 전달 인자로 인한 부작용은 사용 방법에 대한 위험 요소이므로 그 책임은 매크로를 사용한 프로그래머에게 있다. 하지만 이를 해결하기 위한 좋은 방법은 안전하지 않은 함수 형태의 매크로 작성을 하지 않는 것이다.

잘못된 코드 예제 - 1

매크로 인자로 인한 부작용을 보여주는 잘못된 코드 예제:

#define ABS(x) (((x) < 0) ? -(x) : (x))
  
void func(int n) {
  /* Validate that n is within the desired range */
  int m = ABS(++n);
 
  /* ... */
}

이 예제에서 ABS() 매크로를 호출하면 다음과 같이 확장된다.

m = (((++n) < 0) ? -(++n) : (++n));

n을 두 번 증가시키는 것을 확인할 수 있다.

올바른 코드 예제 - 1.1

n의 증가 연산을 매크로 호출 전 수행하는 올바른 코드 예제:

#define ABS(x) (((x) < 0) ? -(x) : (x)) /* UNSAFE */
  
void func(int n) {
  /* Validate that n is within the desired range */
  ++n;
  int m = ABS(n);
 
  /* ... */
}

추가로 ABS_UNSAFE()로 매크로 이름을 변경하여 매크로가 안전하지 않다는 것을 명확히하여 매크로를 사용하는 다른 프로그래머들의 안전한 사용을 도울 수 있으며, 부호 있는 정수에 대한 연산이 오버 플로우를 발생하지 않도록 한다.

올바른 코드 예제 - 1.2

ABS() 매크로를 대체하는 인라인 함수 iabs()를 정의한다. 모든 유형의 피연산자가 동작하는 매크로와는 달리 함수는 데이터 형의 범위를 벗어난 인자를 자른다.

#include <complex.h>
#include <math.h>
  
static inline int iabs(int x) {
  return (((x) < 0) ? -(x) : (x));
}
  
void func(int n) {
  /* Validate that n is within the desired range */
 
int m = iabs(++n);
 
  /* ... */
}

올바른 코드 예제 - 1.3

보다 유연한 해결책은 _Generic을 사용하여 ABS() 매크로를 선언하는 것이다. 아래 코드는 인라인 함수를 사용하여 모든 산술 데이터 형식을 지원하도록 작성되었다.

#include <complex.h>
#include <math.h>
  
static inline long long llabs(long long v) {
  return v < 0 ? -v : v;
}
static inline long labs(long v) {
  return v < 0 ? -v : v;
}
static inline int iabs(int v) {
  return v < 0 ? -v : v;
}
static inline int sabs(short v) {
  return v < 0 ? -v : v;
}
static inline int scabs(signed char v) {
  return v < 0 ? -v : v;
}
  
#define ABS(v)  _Generic(v, signed char : scabs, \
                            short : sabs, \
                            int : iabs, \
                            long : labs, \
                            long long : llabs, \
                            float : fabsf, \
                            double : fabs, \
                            long double : fabsl, \
                            double complex : cabs, \
                            float complex : cabsf, \
                            long double complex : cabsl)(v)
  
void func(int n) {
  /* Validate that n is within the desired range */
  int m = ABS(++n);
  /* ... */
}

올바른 코드 예제(GCC) - 1.4

GCC의 __typeof를 사용하면 매크로 피연산자 값을 선언하고 동일한 유형을 임시 할당할 수 있다. 임시 할당하여 계산을 수행하므로 피연산자는 한번만 평가된다.

#define ABS(x) __extension__ ({ __typeof (x) tmp = x; \
                    tmp < 0 ? -tmp : tmp; })

잘못된 코드 예제(assert()) - 2

assert() 매크로는 편리한 코드 테스트 메커니즘을 제공한다. assert() 매크로의 동작은 NDEBUG 매크로 정의를 따른다. NDEBUG 매크로가 정의되지 않은 경우 assert() 매크로는 인자를 평가 하기 위해 정의되며 결과가 0과 비교되면 abort() 함수를 호출한다. NDEBUG가 정의되면 assert는 ((void) 0)으로 확장되도록 정의된다.

아래 코드는 부작용이 있는 표현식(index++)이 포함된 assert() 매크로의 예이다.

#include <assert.h>
#include <stddef.h>
   
void process(size_t index) {
  assert(index++ > 0); /* Side effect */
  /* ... */
}

올바른 코드 예제(assert()) - 2.1

부작용을 포함하는 표현식을 assert() 매크로 외부로 이동시켜 부작용을 방지한다.

#include <assert.h>
#include <stddef.h>
   
void process(size_t index) {
  assert(index > 0); /* No side effect */
  ++index;
  /* ... */
}

출처 PRE31-C. Avoid side effects in arguments to unsafe macros

이 블로그의 인기 게시물

X-Frame-Options-Test

X-Frame-Options 테스트하기 X-Frame-Options 페이지 구성 시 삽입된 프레임의 출처를 검증하여 허용하지 않는 페이지 URL일 경우 해당 프레임을 포함하지 않는 확장 응답 헤더이다. 보안 목적으로 사용되는 확장 헤더로 아직 적용되지 않은 사이트들이 많지만 앞으로 점차 적용될 것으로 보인다. X-Frame OptionsDENY, SAMEORIGIN, ALLOW-FROM 옵션을 이용하여 세부 정책을 설정한다. 옵션 설명 DENY Frame 비허용 SAMEORIGIN 동일한 ORIGIN에 해당하는 Frame만 허용 ALLOW-FROM 지정된 ORIGIN에 해당하는 Frame만 허용 크롬 4.1 , IE 8 , 오페라 10.5 , 사파리 4.0 , 파이어폭스 3.6.9 이상에서는 DENY , SAMEORIGIN 이 적용되며, ALLOW-FROM 은 각 브라우저 마다 지원 현황이 다르다. https://developer.mozilla.org/ko/docs/Web/HTTP/Headers/X-Frame-Options 해당 확장헤더는 브라우저에서 처리하는 응답 헤더이므로 미지원 브라우저 사용 시 설정과 무관하게 페이지 내 포함된 모든 Frame을 출력한다. (검증 테스트: Opera 5.0.0) 테스트 코드 DENY <!DOCTYPE html> < html lang = "en" > < head > < meta http-equiv = "X-Frame-Options" content = "deny" /> < title > Deny option Test </ title > </ head > < bod

C-lang-vulnerabilities

C 언어 공통 취약점 해당 글은 CERN Computer Security의 Common vulnerabilities guide for C programmers 글을 참고하여 작성하였습니다. C언어에서 발생하는 대부분의 취약점은 버퍼 오버플로우와 문자열 처리 미흡과 관련되어 있다. 이는 segmentation fault를 유발하고 입력 값을 조작할 경우 임의 코드 실행으로 이어질 수 있다. 이에 대부분의 에러와 조치 방안을 살펴보자고 한다. gets stdio gets() 함수는 버퍼 길이를 검증하지 않아 사용 시 항상 취약성을 야기한다. Vulnerable Code #include<stdio.h> int main() { char username[ 8 ]; int allow = 0 ; printf ( "Enter your username, please: " ); gets(username); //악의적인 값 삽입 if (grantAccess(username)) { allow = 1 ; } if (allow != 0 ) { //username을 오버플로우하여 덮어씀 privilegeAction(); } return 0 ; } Mitigation fgets() 함수 사용 및 동적 메모리 할당 #include <stdio.h> #include <stdlib.h> #define LENGTH 8 int main () { char * username, *nlptr; int allow = 0 ; username = malloc (LENGTH * sizeof (*username)); if (!username) return EXIT_FAILURE; printf ( "Enter your username, please:

HTML/CSS를 활용하여 카카오톡 클론 만들기

시간을 내어 HTML과 CSS를 공부한 것은 대학생 때가 마지막이었던 것으로 기억한다. 그 동안 사이드 프로젝트로 진행했던 여러 아이디어들을 결국 서비스하지 못했던 결정적인 이유는 프론트 엔드 기술 부족이었다고 생각하고 우선 HTML과 CSS 학습을 진행하였다. 프론트 엔드 기술은 많은 발전을 거듭하여 예전에 비해 큰 복잡성을 가지게 되었다. 빠른 시간 안에 숙지하지 못한 기법들에 대해서 알아보고 구현하고자 하는 아이디어에 활용할 수 있을 정도로 진행해보고자 한다. 또한 보안적 관점에서 발생할 수 있는 프론트 엔드 위협에 대해 파악할 수 있는 좋은 밑거름이 되길 기대해본다. 우선적으로 진행한 카카오 톡 디자인 클론은 노마드 아카데미의 강의를 수강하며 진행하였고 결과는 아래의 링크에서 확인할 수 있다. 소스코드 저장소 구현된 웹 페이지