meta/infer
View on GitHub ↗ ★ 15,741 OCaml
A static analyzer for Java, C, C++, and Objective-C
25 mentions on Hacker News by 21 people: 2 stories, 23 comments · first 2015-06-11 · latest 2026-03-20
20082026
-
▲ 3
Infer: A static analyzer for Java, C, C++, and Objective-Cstory by ducktective · 2021-03-13 · 0 comments
-
▲ 2
Infer 0.14.0 released with prototype of Rust-style borrow checker for C++story by ingve · 2018-05-24 · 0 comments