Digital Library


Search: "[ keyword: Symbolic Execution ]" (5)
    프로그램 분석을 위한 정적분석 기반 역추적 제어흐름그래프 생성 방안 모델
    박성현, 김연수, 노봉남, Vol. 29, No. 5, pp. 1039-1048, 10월. 2019
    10.13089/JKIISC.2019.29.5.1039
    주제어: Static Analysis, Symbolic Execution, Binary Vulnerability, Control Flow Graph, Static Analysis, Symbolic Execution, Binary Vulnerability, Control Flow Graph

    동적 기호 실행을 이용한 힙 메모리 OOB 취약점 자동 탐지 방법
    강상용, 노봉남, 박성현, Vol. 28, No. 4, pp. 919-928, 7월. 2018
    10.13089/JKIISC.2018.28.4.919
    주제어: Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds, Dynamic Symbolic Execution, software vulnerability, Heap Memory Vulnerability, Out-of-bounds

    소프트웨어 안전성 검증을 위한 입력 파일 기반 동적 기호 실행 방법
    박성현, 강상용, 김휘성, 노봉남, Vol. 27, No. 4, pp. 811-820, 8월. 2017
    10.13089/JKIISC.2017.27.4.811

    동적 기호 실행을 이용한 윈도우 시스템 콜 Use-After-Free 취약점 자동 탐지 방법
    강상용, 이권왕, 노봉남, Vol. 27, No. 4, pp. 803-810, 8월. 2017
    10.13089/JKIISC.2017.27.4.803

    동적 기호 실행을 이용한 그래프 기반 바이너리 코드 실행 경로 탐색 플랫폼
    강병호, 임을규, Vol. 24, No. 3, pp. 437-444, 6월. 2014
    10.13089/JKIISC.2014.24.3.437