SofCheck 인스펙터는 자바 바이트 코드에 오류를 발견 정적 분석 도구입니다. 그것은 런타임 오류가 발생할 수있는 장소를 식별하기 위해 정적 인 제어 흐름, 데이터 흐름, 및 가능한 값 세트 전파 (PVP) 기법을 사용한다. 이 자동화 된 소프트웨어 품질 기술은 100 %로 적용 범위를 제공하며, 실행 시간 전에, 결함 식별 및 초기 소프트웨어 수명주기에 제거 할 수 있습니다. 인스펙터는 자바 코드의 동작을 특성화하고 화이트 박스 코드 검사에 유용...