Home / Java / Code Analysis > Infer Code Analysis > Infer Modern static analysis tool for verifying the correctness of code. Package 15.6k stars GitHub Back to Java