상단 디버깅 소프트웨어 에 Konstantin Knizhnik

Jlint는 자바 코드를 확인하고 데이터 흐름 분석을하고 잠금 그래프를 구축하여 버그, 일관성과 동기화 문제를 찾을 수 있습니다. Jlint 자바 클래스 파일에서 정보를 추출 C 컴파일러에 의해 발견되지 위험한 프로그래머의 버그가 발생할 수 문법, 및 시맨틱 검증 Jlint, 문제를 해결, 익살스러운 몸짓으로 구성되어 있습니다. Jlint은 로컬 및 글로벌 데이터 흐름은 지역 변수의 가능한 값을 계산하고 중복 의심 계산 잡기, 분석을 수행한다. 교착...