Machine learningProgram analysis and verification
기호 실행
기호 실행은 실제 입력 대신 기호(비구체적) 값을 사용하여 프로그램을 실행하고 기호 값이 프로그램 전체를 통해 어떻게 흐르는지 추적하는 프로그램 분석 기법입니다. 1976년 James C. King에 의해 소개된 기호 실행은 프로그램 변수에 대한 수학적 제약 조건을 구축하고 특정 프로그램 동작을 유발하는 입력을 결정할 수 있어 자동화된 테스트 생성 및 취약점 탐지를 가능하게 합니다. KLEE, S2E, Z3와 같은 현대 기호 실행 도구는 미묘한 버그와 보안 취약점을 찾는 강력한 도구가 되었습니다.
방법 전문 읽기
회원 전용
로그인무료 계정으로 로그인하면 이 섹션을 읽을 수 있습니다.
방법 지도
관련 방법들로 이루어진 인접 영역 — 노드를 선택해 살펴보세요.
출처
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
이 페이지 인용 방법
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/ko/cryptography/symbolic-execution
어떤 방법일까요?
이 방법을 가장 가까운 동류의 방법들과 나란히 놓고 비교해 보세요 — 라이브러리는 책을 펼쳐 놓을 뿐, 선택은 여러분의 몫입니다.
나란히 비교하기 →