반응형 SSAT1 [Tool] HKSAT 정적 분석 Tool 소개 HKSAT 용도 HKSAT는 다음과 같은 용도로 사용될 수 있다. 소스 코드 구문 및 구조 추출 실시간 소프트웨어의 성능 예측 실시간 소프트웨어의 시간제약준수 보장 코딩 규칙 준수여부 검사 (API 사용규칙, 전역변수 초기화) 잠재적 구현 위험 요소 검출 (경쟁조건, 재귀호출, 최대 스택 사용량, 중복 코드) 코드 변경 후 재시험 필요 모듈 파악 HKSAT 특징 소프트웨어의 오류를 개발 초기 단계에 검출할 수 있도록 도와준다. 임베디드 소프트웨어의 소스 코드를 다양한 방법으로 분석하여 오류를 검출하고 그 결과를 보고서로 제공한다. 분석 수행에서 문서화까지의 작업을 자동으로 수행한다. 분석 결과를 시각화하여 사용자가 쉽게 파악할 수 있도록 한다. 하나의 플랫폼을 기반으로 다양한 분석을 수행할 수 있다. 메.. 2024. 4. 9. 이전 1 다음 반응형
