목차
25 처지: 런타임, 데이터 흐름, 동적 프로그램 분석, 메모리 보안, 메모리 디버거, 버퍼 오버플로, 버퍼 오버플로 보호, 보안 취약점, 불필요한 코드, 클랭, 퍼징, 포인터 (프로그래밍), 포인터 분석, 인스트루먼테이션, 제어 흐름, 제어 흐름 분석, 제어 흐름 그래프, 참조 투명성, 커버리티, 코드마인드, 프로그램 분석, 소프트웨어 테스트, 애플리케이션 보안, 악성 소프트웨어, PVS.
런타임
임()은 컴퓨터 과학에서 컴퓨터 프로그램이 실행되고 있는 동안의 동작을 말. "런타임"이라는 용어는 컴퓨터 언어 안에 쓰인 프로그램을 관리하기 위해 특정한 컴파일러나 가상 머신이 사용하는 기본 코드의 라이브러리나 프로그램을 가리키는 런타임 라이브러리라고도 일컫.
데이터 흐름
이터 흐름(Data flow, 데이터 플로)란 하나의 작업을 수행하기 위하여 실행되는 각각의 세부 작업들 사이에서 자료가 입력되고 출력되는 모습을 의미.
동적 프로그램 분석
동적 프로그램 분석은 프로그램 분석으로서 실제 또는 가상 프로세서에서 프로그램을 실행함으로써 수행.
메모리 보안
메모리 보안(Memory safety)은 소프트웨어 개발에서 고려하는 것으로서, 버퍼 오버플로와 허상 포인터 같은 (RAM 접근을 다루는) 보안 취약점을 유발시킬 수 있는 소프트웨어 버그들을 회피할 목적으로 이루어.
메모리 디버거
메모리 디버거는 메모리 누수와 버퍼 오버플로를 찾기 위하나 프로그래밍 도구이.
버퍼 오버플로
버퍼 오버플로() 또는 버퍼 오버런(buffer overrun)은 메모리를 다루는 데에 오류가 발생하여 잘못된 동작을 하는 프로그램 취약점이.
버퍼 오버플로 보호
버퍼 오버플로 보호는 소프트웨어 개발 동안 스택에 할당된 변수들에 대한 버퍼 오버플로를 탐지하고 심각한 보안 취약점으로 사용되는 것을 막음으로써 실행 파일의 보안을 강화시키는 다양한 기법들을 가리.
보안 취약점
약점(vulnerability)은 공격자가 시스템의 정보 보증을 낮추는데 사용되는 약점이.
불필요한 코드
밍에서, 불필요한 코드 (dead code)는 프로그램의 소스 코드에서 실행 되지만 결과가 다른 계산에 전혀 사용될 수 없는 섹션이.
클랭
랭(Clang)()은 C, C++, 오브젝티브-C, 오브젝티브-C++ 프로그래밍 언어를 위한 컴파일러 프론트엔드이.
퍼징
스팅 (Fuzz testing) 또는 퍼징 (fuzzing)은 (종종 자동화 또는 반자동화된) 소프트웨어 테스트 기법으로서, 컴퓨터 프로그램에 유효한, 예상치 않은 또는 무작위 데이터를 입력하는 것이.
포인터 (프로그래밍)
인터(pointer)는 프로그래밍 언어에서 다른 변수, 혹은 그 변수의 메모리 공간주소를 가리키는 변수를 말. 포인터가 가리키는 값을 가져오는 것을 역참조.
포인터 분석
학에서 포인터 분석(pointer analysis, points-to analysis)은 어떤 포인터 혹은 힙 참조가 어느 변수 또는 저장 장소를 가리키는지 분석하는 정적 프로그램 분석 방법이.
인스트루먼테이션
밍에서 인스트루먼테이션(instrumentation)은 오류를 진단하거나 추적 정보를 쓰기 위해 제품의 성능 정도를 모니터하거나 측정하는 기능을 가리.
제어 흐름
제어 흐름(control flow)은 프로그램에서 실행되는 각 구문, 명령어나 함수가 호출되는 순서를 의미.
제어 흐름 분석
제어 흐름 분석 (control flow analysis) (CFA)은 프로그램의 제어 흐름을 결정하기 위한 정적 프로그램 분석 기법이.
제어 흐름 그래프
CFG 예시: (a) if-then-else (b) while loop (c) 자연적인 루프 두개 (예를 들면 중앙의 while과 an if...break; 구조화되지 않았지만, 축소 가능한 (d) 축소 불가능한 CFG: 2개의 엔트리 포인트와 루프 (예를 들면 while에의 또는 while을 위한 goto) 제어 흐름 그래프 (control flow graph) (CFG)는 프로그램이 실행 중에 횡단할 수 있는 모든 경로를 그래프 표기법을 사용하여 표현한 것이.
참조 투명성
조 투명성와 참조 투명도는 컴퓨터 프로그램의 일부 속성이.
커버리티
버리티(Coverity) 는 샌프란시스코에 본사를 둔 소프트웨어 제조업체이.
코드마인드
마인드 주식회사(대표 신승철)는 소프트웨어 분석 및 검증 전문기업이.
프로그램 분석
분석은 자동으로 컴퓨터 프로그램의 동작을 분석하는 일이.
소프트웨어 테스트
소프트웨어 테스트()는 주요 이해관계자들에게 시험 대상 제품 또는 서비스의 품질에 관한 정보를 제공하는 조사 과정이.
애플리케이션 보안
애플리케이션 보안(Application security)은 응용 소프트웨어의 보안 정책에서의 결함이나 시스템 개발에서의 눈에 띄지 않는 위약점들 같은, 코드의 생명주기 전체 과정을 아우른.
악성 소프트웨어
악성 소프트웨어,유해한 소프트웨어(惡性-) 또는 맬웨어(malware)는 컴퓨터에 악영향을 끼칠 수 있는 모든 소프트웨어의 총칭이.
PVS
PVS의 다른 뜻은 다음과 같.
또한 정적 코드 분석, 정적분석로 알려져 있다.