Infer

Facebook Infer는 정적 분석 도구입니다. Objective-C, Java 또는 C 코드에 Infer를 제공하면 잠재적 인 버그 목록이 생성됩니다.

Facebook Infer는 정적 분석 도구입니다. Objective-C, Java 또는 C 코드에 Infer를 제공하면 잠재적 인 버그 목록이 생성됩니다.

Linux 용 Infer의 대안

Cppcheck는 C / C ++ 코드를위한 정적 분석 도구입니다.C / C ++ 컴파일러 및 기타 여러 분석 도구와 달리 코드에서 구문 오류를 감지하지 못합니다.

PVS-Studio는 C, C ++ 및 C # 응용 프로그램의 소스 코드에서 오류를 감지하는 정적 분석기입니다.

Coverity Scan Static Analysis를 사용하면 Java, C / C ++ 또는 C # 오픈 소스 프로젝트의 결함을 무료로 찾아서 수정할 수 있습니다.

Flawfinder는 소스 코드를 검사하고 가능한 보안 취약점 (``결함 '')을 위험 수준별로 정렬하여보고합니다.

Splint는 C 프로그램의 보안 취약점 및 코딩 실수를 정적으로 검사하는 도구입니다.최소한의 노력으로 Splint를 더 나은 보푸라기로 사용할 수 있습니다.