Development of a framework for automatic generation of various analyzers for SW in diversified programming languages
개인기초연구(과기정통부)(R&D) · (유형1-2)중견연구
2026년
2710097693
과학기술정보통신부
한국연구재단
한국과학기술원
류석영
13명
2026.03.01 ~ 2027.02.28
2022.03.01 ~ 2027.02.28
1.9억원
1.9억원
개발연구
대학
대전광역시 유성구
정보/통신 > 소프트웨어 > 달리 분류되지 않는 소프트웨어
● 본 연구는 끊임없이 새롭게 등장하는 프로그래밍 언어 혹은 다양한 언어로 개발된 소프트웨어에 발생할 수 있는 여러 형태의 결함 및 보안 취약점에 신속하게 대응하여 소프트웨어의 품질을 향상시키기 위해서, 범용적인 기계화 명세로부터 다양한 소프트웨어 분석 도구를 자동으로 생성하는 프레임워크를 개발하고 실제 적용해보는 것을 최종 목표로 함.● 연구진의 기술을 ...
○ 배경: 기계학습, 블록체인, 메타버스 등 상상에 그쳤던 수많은 획기적인 아이디어들이 현실화되면서, 소프트웨어 개발 환경도 이에 맞춰 다각화됨. 따라서, 하나의 전통적인 범용 프로그래밍 언어가 모든 개발자의 요구를 만족시키기에는 한계에 다다랐고, 이를 위해 각 특성에 맞는 새로운 언어를 고안하여 사용하거나 여러 언어를 동시에 사용하여 개발하는 추세임.○ 문제: ...
... 프로그램 검증, 하드웨어 기술 언어 분석 및 검증 등 다양한 연구 분야와 공동연구를 통해 기존에 없었던 새로운 연구 분야를 창출하리라 기대함.● 본 연구 성과를 활용하여서, 기계학습, 블록체인, 메타버스 등 하루가 다르게 새롭게 개발되는 소프트웨어 기술을 위해 새로 개발되는 프로그래밍 언어에 빠르게 대응함으로써, 차세대 소프트웨어 세상을 선도하고 더 안전하고 효율적인 소프트웨어 ...