SofCheck Inspector. SofCheck Inspector는 Java Bytecode에서 오류를 발견하는 정적 분석 도구입니다.
지금 다운로드

SofCheck Inspector. 순위 및 요약

SofCheck Inspector. 태그

정적 분석 탐지 오류 오류 검사관 ROI Maximizer. 오류 감지하다 탐지기 조사관 Java 바이트 코드 바이트 코드 Java ByteCode 생성기 CPYTHON BYTECODE. 전문 검사관 생산성 검사관 바이트 코드 컴파일러 파일 검사기 PC 검사관 역 바이 텍 코드 바이트 코드 디버거 Java 바이트 코드 모니터링 분석 자바 바이트 코드 바이트 코드 추적 정적 코드 분석 프로그램 검사관 정적 구조 분석 바이트 코드 위버 혼합 바이트 코드 호환성 검사기 정적 분석 도구 악기 Java 바이트코드 바이트 코드 수정 Java 바이트 코드 분석 Java 바이트코드 변환 바이트 코드 수정 Java ByteCode 생성 Java 힙 분석 바이트 코드 뷰어 Java 바이트 코드 조작 Java 바이트 코드 프레임 워크 사이트 검사관 Java 코드 정적 분석 Java ByteCode보기 Java Bytecode 뷰어 디 컴파일 자바 바이트 코드

SofCheck Inspector. 설명

SofCheck Inspector는 노동 집약적 인 런타임 테스트를 의지하지 않고 가능한 프로그래밍 오류를 자동으로 식별하고 논리적 정확성을 확인하는 정적 오류 감지 도구입니다. 기존 개발 도구 및 프로세스에 통합됩니다. SofCheck Inspector는 완전히 자동화 된 방식으로 라인 별 테스트를 수행하고 전체 경로 적용 범위를 보장합니다. SofCheck Inspector는 개발 프로세스 초기에 결함을 발견합니다. 컴파일과 함께 수리가 가장 적지 않습니다. 또한 현장에서 문제가되기 전에 잠재적 인 결함을 찾기 위해 기존 코드에서 실행될 수 있습니다. SofCheck Inspector는 대형 시스템을 지원하고 포인터의 오용, 배열의 오용, 버퍼 오버 플로우 (보안 저장 장치 누출 소스 소스), 숫자 오버 플로우, 숫자 랩 어폰 및 애플리케이션 프로그래밍 인터페이스 사용을 부적절하게 감지합니다 ( 아피스). 각 오류의 근본 원인의 원인을 코드의 소스 줄에 정확히 정확합니다. 명시 적 오류가없는 경우에도 SofCheck Inspector는 런타임 실패를 배제하는 데 필요한 입력의 입력, 출력, 힙 오브젝트 작성, 런타임 오류를 예방하는 데 필요한 입력의 전제 조건으로 시스템의 모든 구성 요소의 철저한 특성을 제공합니다. 리턴 값에 대한 사전 외부 방법 및 출력 범위를 특성화하는 사후 조건. 검사는 SofCheck Inspector 콘솔을 사용하여 명령 줄에서부터 대화식으로 검사를 시작할 수 있습니다.

SofCheck Inspector. 관련 소프트웨어