카이스트, ‘자바스크립트’ 정적 분석기 개발

[더테크=조재호 기자] 국내 연구진이 전 세계에서 가장 널리 활용되는 프로그래밍 언어 중 하나인 자바스크립트 안정성을 보장할 수 있는 기술을 개발했다. 카이스트는 7일 전산학부 류석영 교수 연구팀이 고려대 박지혁 교수와 공동연구를 통해 영어로 작성한 자연어 명세에서 기계화 명세를 자동으로 추출해 이를 기반으로 자바스크립트의 생태계 안정성을 보장하는 기술을 개발하는데 성공했다고 밝혔다. 자바스크립트는 2015년부터 매년 새로운 기능이 추가될 정도로 급성장하고 있다. 다만 부작용으로 프로그램 실행 중 작동을 멈추거나 개인정보 유출 등 언어 생태계의 안정성을 보장하기가 어려운 상황이다. 연구팀은 크롬이나 엣지 같은 웹 브라우저에 내장된 자바스크립트 엔진 및 코드 변환 도구에서 결함을 검출하는 기술을 개발해 이를 검증했다. 아울러 자바스크립트용 정적분석기를 자동으로 생성했는데, 수동으로 개발되던 기존 분석기보다 우수한 안정성을 보였다. 정적분석기란 프로그램을 실행하지 않고 자동으로 분석하는 도구를 말한다. 이번 기술은 우수성을 인정받아 자바스크립트를 관리하는 위원회에서 새로운 기능을 추가할 때마다 이 기술을 필수적으로 사용하도록 했다. 연구진이 개발한 기술은 언어의

• 조재호 기자
• 2024-05-07 13:28