Lobsters
- Infer: Facebook's static analyzer http://fbinfer.com/ 5 comments c , c++ , java
- Infer | A static analyzer for mobile apps http://fbinfer.com/ 3 comments programming
- Infer static analyzer - a tool to detect bugs in Java http://fbinfer.com/ 11 comments java
- Infer Static Analyzer v0.14.0: adding "a rough prototype of Rust-style borrow checker for C++" https://github.com/facebook/infer/releases/tag/v0.14.0 3 comments rust
- Infer Static Analyzer v0.14.0: adding "a rough prototype of Rust-style borrow checker for C++" https://github.com/facebook/infer/releases/tag/v0.14.0 12 comments cpp
- infer - A static analyzer for Java, C, C++, and Objective-C open-sourced by Facebook https://github.com/facebook/infer 10 comments programming
- dons goes to Facebook to work on Infer (OCaml-implemented static analyzer for Java, C etc.) https://donsbot.wordpress.com/2017/04/15/spring-in-the-air/ 64 comments haskell