선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 4 단계는 독자적으로 설계한 도메인을 사용한 요약 해석으로 버퍼를 가리키는 포인터들의 상 세 정보를 분석한다. 대상 버퍼의 크기 및 포인터의 오 프셋 정보를 분석하는 것이다. 4 단계 분석은 부분적으 로 3 단계 분석 결과를 이용하여 진행된다.
- 둘째 . 보다 정확한 결과를 위해 추가 적인 정보를 분석할 필요가 있다면 새로운 단계를 추가 하는 것으로 목적을 이룰 수 있다. 셋째, 분석 과정에서 메모리의 최대 사용량(memory peak)을 줄일 수 있다.
- 본 고에서는 버퍼 오버플로우 취약점의 유형과 다양한 공격 방법에 대해 소개하고, 버퍼 오버플로우 취약 점을 검출하기 위한 정적 분석 도구들의 현황을 살펴 보았다. 다수의 정적 분석 도구들이 안전하지 않은 분석 기법을 사용하여 일부 버퍼 오버플로우 취약점을 빠르게 찾아내는 것에 중점을 두고 있으며, 안전한 정 적 분석 도구들은 충분히 만족할 만한 성능을 보여주 지 못하고 있다는 것을 알게 되었다.
- PolySpace C Verifier 등의 정적 분석 도구들을 비교 평 가하는 연구를 수행했다 ⑻ . 본 고에서는 이들 정적 분석 도구들의 단순한 성능 비교를 넘어 각각의 정적 분석 도구가 선택한 분석 기법을 자세히 살펴보고, 각 분석 기법이 가지는 장점과 더불어 근본적인 한계점에 대해 생각해 보려고 한다.
- 이처럼 정적 분석 도구가 다수의 장점을 가지고 있 으므로, 지금까지 정적 분석 기법을 통해 C 언어로 작 성한 소프트웨어의 버퍼 오버플로우 취약점을 검출하기 위한 연구가 활발하게 수행되었다. 본 고에서는 지 금까지 개발된 버퍼 오버플로우 정적 분석 도구들의 성능과 한계에 대해 살펴보고, 보다 효율적이고 정확한 정적 분석 도구를 개발하기 위한 연구 방향을 제안 하려고 한다.
- 우리는 모든 버퍼 오버플로우 취약점을 검출할 수 있는 정확하고 효율적인 정적 분석 도구를 개발하려는 목표를 가지고 있다. 4 장에서 살펴보았듯이 기존의 안전한 정적 분석 도구들은 아직 만족할 만한 성능을 보여주지 못하고 있다.
- 우리는 안전한 정적 분석 기법을 사용하는 효율적인 버퍼 오버플로우 정적 분석기를 개발하기 위한 연구를 수행하고 있는데, 본 고에서 지금까지의 연구 성과를 일부 소개하였다. 본 고에서 제안하는 방법들을 통해 정확하면서도 효율적인 정적 분석 도구를 개발할 수 있을 것으로 기대하고 있다.
- 우리의 목표는 모든 버퍼 오버플로우 가능성을 검출 하는 안전한 정적 분석 도구를 개발하는 것이다. 이 장 의 내용은 이러한 목표를 기준으로 하여 설명하는 것 으로, 이 장의 예제 프로그램들은 3 장의 예제 프로그 램들에 비해 다소 복잡하고 의도적인 면이 있다.
가설 설정
- 본 고에서 설명한 내용들은 소프트웨어 보안 분야의 연구자들에게 프로그램 정적 분석 분야의 연구 성과를 소개하는 기회가 될 것이고, 동시에 프로그램 정적 분석 분야의 연구자들에게 향후 연구 방향을 제시하는 참고 자료.가 될 수 있을 것이다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.