홈으로

코멘트 등록

모든 코멘트는 발표 전날 18:00에 이메일로 공지됩니다. 그 전까지는 다른 사람의 코멘트를 볼 수 없습니다. 소신껏 코멘트해 주시길 바랍니다.

괄호 안의 사람들이 코멘터입니다.

등록 양식

발표자: Gyuhyeok Oh
날짜: 2026-05-29
제목: sparrow에 따로분석 적용해보기
요약:
각 모듈에 대한 내용을 알려진 입력(static input), 다른 모듈에 대한 내용을 모르는 입력(dynamic input )으로 보고 프로그램 전체를 한번에 분석하는 요약 실행기(abstrac interpreter)를 부분 계산(partial evaluation)하면 모듈별로 분석한 후 합치는 따로분석이 가능합니다. 이번 쇼엔텔에서는 이 방법을 실제 C분석기인 sparrow에 대해서 적용해본 내용을 공유하고자 합니다.
메모: 등록된 메모가 없습니다.
코멘트:

쇼앤텔 일정

SoFA