Infer vs PVS-Studio
Overview
Share your Stack
Help developers discover the tools you use. Get visibility for your team's tech choices and contribute to the community's knowledge.
CLI (Node.js)
Manual
Detailed Comparison
Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to people's phones, and help prevent crashes or poor performance. | It is a tool used to detect bugs in the source code of programs written in C, C++, C# and Java. It performs static code analysis and generates a report that helps a programmer find and fix bugs. |
Android and Java - Infer reports null pointer exceptions and resource leaks in Android and Java code.;iOS - In addition to this, it reports memory leak problems in iOS and C code.
| Simple and seamless integration with Visual Studio 2010-2019;
Automatic analysis of individual files after their recompilation;
Automatic check for updates (inside IDEs and when running overnight builds);
A large number of options for integration into projects that are developed under Linux and macOS;
Statistics on analyzer warnings can be viewed in Excel - provides a way to track the speed of error correction, amount of bugs found for a certain period of time and so on;
Relative paths in report files to view them on different machines
|
Statistics | |
GitHub Stars 15.4K | GitHub Stars - |
GitHub Forks 2.1K | GitHub Forks - |
Stacks 18 | Stacks 8 |
Followers 69 | Followers 12 |
Votes 0 | Votes 0 |
Integrations | |
What are some alternatives to Infer, PVS-Studio?
Code Climate
After each Git push, Code Climate analyzes your code for complexity, duplication, and common smells to determine changes in quality and surface technical debt hotspots.
Codacy
Codacy automates code reviews and monitors code quality on every commit and pull request on more than 40 programming languages reporting back the impact of every commit or PR, issues concerning code style, best practices and security.
Phabricator
Phabricator is a collection of open source web applications that help software companies build better software.
PullReview
PullReview helps Ruby and Rails developers to develop new features cleanly, on-time, and with confidence by automatically reviewing their code.
Gerrit Code Review
Gerrit is a self-hosted pre-commit code review tool. It serves as a Git hosting server with option to comment incoming changes. It is highly configurable and extensible with default guarding policies, webhooks, project access control and more.
SonarQube
SonarQube provides an overview of the overall health of your source code and even more importantly, it highlights issues found on new code. With a Quality Gate set on your project, you will simply fix the Leak and start mechanically improving.
RuboCop
RuboCop is a Ruby static code analyzer. Out of the box it will enforce many of the guidelines outlined in the community Ruby Style Guide.
CodeFactor.io
CodeFactor.io automatically and continuously tracks code quality with every GitHub or BitBucket commit and pull request, helping software developers save time in code reviews and efficiently tackle technical debt.
ESLint
A pluggable and configurable linter tool for identifying and reporting on patterns in JavaScript. Maintain your code quality with ease.
Amazon CodeGuru
It is a machine learning service for automated code reviews and application performance recommendations. It helps you find the most expensive lines of code that hurt application performance and keep you up all night troubleshooting, then gives you specific recommendations to fix or improve your code.
