소프트웨어 보안 및 안전성을 입증하는 철저한 정적 분석 기술 소프트웨어가 취약성으로부터 보호되고 어떠한 입력에도 안전한 기능을 검증합니다.
NIST에서 인정한 TrustInSoft Analyzer는 형식적인 방법을 사용하여 구문이 아닌 코드의 의미에 초점을 맞춤으로써 다른 정적 분석 도구보다 한 단계 더 나아갑니다.
Analyzersms는 보안과 안전을 중시하는 개발자 및 테스터를 위해 설계되었습니다.
오탐과 미탐의 빈도 수를 개선합니다. 보고 되는 모든 것은 실제 버그 또는 취약성에 해당합니다.
규정 하지 않은 작업이 있을 경우 TrustInSoft Analyzer는 항상 사전 알림 및 경보를 발생시킵니다.
근본 원인을 신속하게 찾을 수 있는 힌트를 제공합니다. 관련 변수에 초점을 맞추고 문제와 관련된 모든 것들을 추적합니다.
대시보드, 차트 및 요약을 자동으로 생성하여 다양한 유관부서에서 하나 이상의 분석 결과와 달성한 목표를 전달하는 데 걸리는 시간을 절약할 수 있습니다. 또한 CI/CD 프로세스 중에서 서로 다른 보고서를 비교하면 분석된 소프트웨어가 업데이트될 때 회귀 또는 개선 사항을 쉽게 발견할 수 있습니다.
하드웨어 특성을 고려한 분석을 체계적으로 사용하여 낮은 수준의 소프트웨어 오류를 탐지합니다. 지원되는 플랫폼에는 새로운 플랫폼을 쉽게 추가할 수 있는 ARM, X86, PPC, MIPS 및 SPARC 변형이 포함됩니다.
상세하고 포괄적인 보고서에 액세스할 수 있으므로 툴을 다양한 CI 또는 퍼지 프로세스에 쉽게 통합할 수 있습니다.
모든 버그를 식별합니다. 이는 잘못된 부정 및 잘못된 긍정이 없음을 의미합니다. 즉, 각 버그는 수정해야 하는 진정한 버그임을 의미합니다.
입력을 일반화하여 테스트 범위를 확대하여 코드의 전체 범위에 대한 가능한 값의 슈퍼셋을 테스트할 수 있도록 합니다.
일련의 공식적인 방법을 사용하여 코드를 수학적으로 모델링합니다. 이를 통해 탐지한 모든 문제가 수정되면 버그가 없다는 수학적 증거를 얻을 수 있습니다.
인기 있는 오픈 소스 소프트웨어 Wireshark에서 데모 비디오를 확인해보세요.
이 분석 이전에 수년 동안 코드에서 감지되지 않은 일련의 정의되지 않은 동작을 식별했으며 이후 수정되었습니다.
Analyzer는 개발 프로세스에서 다른 도구와 원활하게 통합되며 여러 가지 배포 가능성을 제공합니다.
전용 서버 또는 개인 클라우드에 설치할 수 있습니다.
Linux, Mac, Windows 등 운영 체제에 관계없이 유연하게 배포할 수 있으며 컨테이너 기반으로 구축할 수 있습니다.
인터넷 연결 없이도 명령줄 인터페이스나 웹 브라우저를 통해 액세스할 수 있으므로 코드는 기밀로 유지됩니다.
© SLEXN, Inc. All rights reserved.
