특정판 필터링펼치기접기 끝 날짜:태그 필터:wikieditor (숨긴 태그)넘겨주기 대상 변경넘겨주기 제거되돌려진 기여새 넘겨주기서버측 업로드수동 되돌리기시각 편집시각 편집: 전환됨 판 보이기 차이 선택: 비교하려는 판의 라디오 버튼을 선택한 다음 엔터나 아래의 버튼을 누르세요. 설명: (최신) = 최신 판과 비교, (이전) = 이전 판과 비교, 잔글= 사소한 편집 2023년 3월 24일 (금) 최신이전 06:132023년 3월 24일 (금) 06:13 Ahn9807 토론 기여 6,728 바이트 +6,728 새 문서: 분류: EBPF == 개요 == eBPF프로그램의 안정성은 두 가지 단계를 통해서 확보된다. 첫번째로는 DAG체크를 통해서 루프를 허용하지 않는 것이며, CFG체크이다. CFG는 도달할 수 없는 코드가 eBPF에 있는지를 검사한다. 두번째 단계는 첫번째 Instruction에서 모든 가능한 경로를 탐색하는 것이다. 이는 모든 명령어를 실제 가상의 Verifier내부에서 시뮬레이션 하여서 레...