#정적 분석

러스트 오픈소스 모델 체커, Kani

러스트(Rust) 코드의 안전성과 기능적 정합성을 검증하기 위한 오픈소스 모델 체커 'Kani'가 공개되었습니다. Kani는 유한 범위 모델 검사(Bounded Model Checking)를 넘어 사용자가 직접 명세를 작성하지 않아도 잠재적인 런타임 패닉이나 unsafe 구문의 오류를 자동으로 찾아내고 검증합니다. 이 도구는 산업계 실제 프로젝트와 CI 환경에 적용되어 수많은 코드 변경 사항을 검증하며 그 유용성과 확장성을 입증했습니다.

아이키도, 코드 감사 도구 출시

보안 플랫폼 아이키도(Aikido)가 소스 코드 내 숨겨진 복잡한 논리적 취약점을 찾아내는 '코드 감사(Code Audit)' 기능을 출시했습니다. 이 도구는 정적 분석(SAST)과 모의해킹의 한계를 넘어, 에이전트 AI가 파일 간의 복잡한 로직을 추적하여 기존 방식으로는 발견하기 어려운 다단계 취약점을 해결책(PR)과 함께 제시합니다. 실제 테스트 결과, 정규 모의해킹 비용의 10분의 1로 약 70~80%의 취약점을 탐지하는 등 비용 및 시간 효율성을 크게 높였습니다.