http://www.etnews.com/20180117000184

소스코드의 신뢰성, 안전성, 보안성을 한꺼번에 점검할 수 있는 정적분석 도구가 나왔다. 이들 특성을 따로 점검하느라 길어진 소프트웨어(SW) 점검 및 개발 기간을 크게 단축할 수 있게 됐다. 

SW 소스코드 정적분석 도구 개발 업체 소프트4소프트(대표 이헌기)는 소스코드 정적분석 도구 신제품 ＇리조트(RESORT)＇를 개발, 국내외 인증을 획득해 최근 출시했다고 17일 밝혔다.

이 회사가 3년에 걸쳐 개발한 리조트는 코드 컴파일 과정을 거치지 않고 소스코드를 분석할 수 있는 도구다. 소스코드의 신뢰성, 안전성, 보안성 등 세 가지 특성을 모두 점검할 수 있다. 이처럼 다양한 특성을 통합 분석할 수 있는 도구가 개발된 것은 이번이 처음이다.

자바, 자바스크립트, JSP, C, C++, 오브젝티브-C, 안드로이드 등 다양한 언어를 지원한다.

배경==============================================================================
최근 사물인터넷(IoT), 자율 또는 무인 기기의 등장으로 임베디드 코딩표준에서도 안전성에 보안성을 결합하는 소프트웨어 보안(Software Security)의 균형이 매우 중요해졌다. 일예로 2012년에 개정된 안전성 표준인 MISRA-C:2012 (159 규칙)가 2016년 4월에 부록으로 보안성의 14개 규칙을 추가하였다. 그리고 안전성과 보안성이 결합된 새로운 MISRA-C와 MISRA-C++도 20XX년에 개정될 예정이다. 또한 소프트웨어 보안약점(Weakness)의 국제 표준인 CWE에서도 2017년 11월에 버전 3.0을 발표하면서 새로운 3가지 뷰의 분류 체계와 각 CWE 카테고리의 보안약점 구성을 업데이트하는 등 보안약점 714개의 목록을 제공하고 있다.