도달 불가능한 실행 경로를 그래프 상에서 어둡게 표현하거나 테두리 색상을 변경 분석기에서 도달 불가능한 경보와 더불어 색상을 업데이트 해야할 node/edge id들을 제공해야함
도달 불가능한 실행 경로를 그래프 상에서 어둡게 표현하거나 테두리 색상을 변경
분석기에서 도달 불가능한 경보와 더불어 색상을 업데이트 해야할 node/edge id들을 제공해야함