Infer - Công cụ phân tích tĩnh mã Java/C/C++/Obj-C

Kiểm tra NPE/NPD, rò rỉ bộ nhớ/tài nguyên, v.v.

Đây là mã nguồn mở do Facebook công bố vào năm 2015 và đã được sử dụng ở nhiều nơi.

Trên macOS, có thể dễ dàng cài đặt bằng Homebrew.