IntroductionResearch Labs
Programming Languages Lab | |||||||||
---|---|---|---|---|---|---|---|---|---|
|
|||||||||
프로그래밍 언어연구실은 안전하고 견고한 소프트웨어를 제작하고 관리하기 편리한 프로그래밍 언어를 설계, 분석, 구현하는 원리를 연구한다. 최근 진행 중인 연구로는 실행 중 생성하는 프로그램 또는 반구조문서의 구문 및 의미 분석, 소스코드 정적 분석을 통한 보안취약점 탐지, 명령삽입 취약점 자동 정적 탐지 및 수리 등이다.
|
|||||||||
List |