Java, C, C ++ 및 Objective-C 용 정적 분석기
- 소프트웨어 : Infer
- OS :
- 프로그래밍 언어 : C++
- 공식 웹사이트 : HOME
Infer 상세
추론은 정적 분석 도구입니다 – 당신이 일부 Java 또는 C / C ++ / Objective-C 코드를 추론하는 경우 잠재적 인 버그 목록을 생성합니다.누구든지 사용자에게 배송되기 전에 중요한 버그를 가로 챌 수 있고 충돌이나 성능이 떨어지는 것을 촉구 할 수 있습니다.NULL 포인터 예외, 리소스 누수, 주석 도달 가능성, 누락 된 잠금 장치 및 Android 및 Java 코드의 동시성 경주 조건을 검사합니다.null 포인터 dereferences, 메모리 누수, 코딩 규칙 및 사용할 수없는 API를 확인합니다.시작 안내서와 다른 문서를 다운로드하고 추론하려고 시도하십시오.추론은 여전히 진화하고 있으며, 우리는 계속해서 개방적으로 개발하고 싶습니다.우리는 그것이 다른 프로젝트에 유용하기를 바랍니다, 그래서 그것을 시도하거나 그것을 공헌하고, 커뮤니티에 가입하고 피드백을주십시오!