기본 콘텐츠로 건너뛰기

Secure-Coding-C-DCL-1

Secure-Coding-C-DCL-1

C 언어 시큐어코딩 - Declare and Initialization 1

적절한 저장 기간을 가진 객체 선언

모든 객체는 수명을 결정하는 저장 기간이 있다. : static, thread, automatic, or allocated.

객체 수명은 실행 중 저장 장치에 예약된 기간 동안 보장된다. 객체가 존재하고, 상수 주소를 가지며, 수명 기간 동안 저장된 값을 유지한다. 하지만 수명 기간이 지나고 발생하는 참조의 동작에 대한 정의는 없으며 포인터가 가리키는 객체의 수명이 끝나면 포인터의 값은 불확실해진다.

객체의 수명 기간 지난 후 접근을 시도해서는 안된다. 그러한 시도는 정의되지 않은 동작으로 악용될 수 있는 취약점으로 이어질 수 있다.

잘못된 코드 예제 (다른 저장 기간)

이 코드 예제는 자동 저장 기간을 갖는 변수 c_str의 주소를 정적 저장 기간을 갖는 변수 p에 할당한다. 할당 자체는 유효하지만 dont_do_this()의 끝에서와 같이 p가 주소를 보유하고 있는 동안에 c_str이 범위를 벗어나는 것은 유효하지 않다.

#include <stdio.h>
  
const char *p;
void dont_do_this(void) {
  const char c_str[] = "This will change";
  p = c_str; /* Dangerous */
}
 
void innocuous(void) {
  printf("%s\n", p);
}
 
int main(void) {
  dont_do_this();
  innocuous();
  return 0;
}

올바른 코드 예제 (동일한 저장 기간)

이 예제에서 pc_str과 동일한 저장 기간으로 선언되므로 pthis_is_OK() 외부에서 불확정 값을 가지지 않는다.

void this_is_OK(void) {
  const char c_str[] = "Everything OK";
  const char *p = c_str;
  /* ... */
}
/* p is inaccessible outside the scope of string c_str */

또한 pc_str을 정적 저장 기간으로 선언할 수 있다.

올바른 코드 예제 (다른 저장 기간)

만약 p는 정적 저장 기간으로 정의하고 c_str는 좀 더 제한된 지속 기간으로 정의해야 한다면, c_str이 삭제되기 전에 p를 NULL로 설정할 수 있다. 이로인해 p에 대한 모든 참조가 NULL 검사를 해야 할지라도 p가 불확정 값을 갖지 못하게 한다.

const char *p;
void is_this_OK(void) {
  const char c_str[] = "Everything OK?";
  p = c_str;
  /* ... */
  p = NULL;
}

잘못된 코드 예제 (반환 값)

이 예제의 init_array() 함수는 호출자가 접근할 수 있는 자동 저장 기간의 문자 배열 포인터를 반환한다.

char *init_array(void) {
  char array[10];
  /* Initialize array */
  return array;
}

일부 컴파일러는 자동 저장 기간을 가진 객체에 대한 포인터 객체에 대한 포인터가 예제에서와 같이 함수에서 반환 될 때 경고 메시지를 출력한다.

올바른 코드 예제 (반환 값)

이러한 경우 해결책은 프로그래머의 의도에 달려있다. 만약 배열의 값을 수정하고 그 수정을 init_array()의 범위 밖에서 유지하려는 의도가 있는 경우, 배열을 다른 위치에 선언하고 init_array()에 인수로 전달하여 원하는 동작을 수행할 수 있다.

#include <stddef.h>
void init_array(char *array, size_t len) {
  /* Initialize array */
  return;
}
 
int main(void) {
  char array[10];
  init_array(array, sizeof(array) / sizeof(array[0]));
  /* ... */
  return 0;
}

잘못된 코드 예제 (출력 파라미터)

이 여제는 squirrel_away() 함수는 지역 변수 local에 대한 포인터를 함수 파라미터 ptr_param이 가리키는 위치에 저장한다. squirrel_away()가 반환되면 포인터 ptr_param은 수명이 만료된 변수를 가리키게 된다.

void squirrel_away(char **ptr_param) {
  char local[10];
  /* Initialize array */
  *ptr_param = local;
}
 
void rodent(void) {
  char *ptr;
  squirrel_away(&ptr);
  /* ptr is live but invalid here */
}

올바른 코드 예제 (출력 파라미터)

변수 local을 정적 저장기간으로 처리하면 ptrrodent() 함수 내에서 로컬 배열을 참조하는 데 사용할 수 있다.

char local[10];
  
void squirrel_away(char **ptr_param) {
  /* Initialize array */
  *ptr_param = local;
}
 
void rodent(void) {
  char *ptr;
  squirrel_away(&ptr);
  /* ptr is valid in this scope */
}

이 블로그의 인기 게시물

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 학습을 진행하였다. 프론트 엔드 기술은 많은 발전을 거듭하여 예전에 비해 큰 복잡성을 가지게 되었다. 빠른 시간 안에 숙지하지 못한 기법들에 대해서 알아보고 구현하고자 하는 아이디어에 활용할 수 있을 정도로 진행해보고자 한다. 또한 보안적 관점에서 발생할 수 있는 프론트 엔드 위협에 대해 파악할 수 있는 좋은 밑거름이 되길 기대해본다. 우선적으로 진행한 카카오 톡 디자인 클론은 노마드 아카데미의 강의를 수강하며 진행하였고 결과는 아래의 링크에서 확인할 수 있다. 소스코드 저장소 구현된 웹 페이지