We performed a comparison between GitHub and Polyspace Code Prover based on real PeerSpot user reviews.
Find out in this report how the two Application Security Tools solutions compare in terms of features, pricing, service and support, easy of deployment, and ROI."The most valuable features are GitHub are the standard features, they are very useful."
"Any complex banking can be handled very easily in GitHub. It allows us to integrate with tools like Grid, where we can merge and resolve conflicts without any hassle."
"The most valuable feature is the source code management. It's very helpful and it's a great product."
"The flexibility of this solution has been most valuable. It operates on a pay per use basis where you can ramp up or decrease usage."
"The most valuable feature of GitHub is version control and continuous integration."
"The solution is scalable."
"This product allows us to easily collaborate on development tasks with our subcontractors, and control the workflow as the project progresses."
"The initial setup was straightforward."
"The outputs are very reliable."
"When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts, and null pointer dereferences."
"Polyspace Code Prover has made me realize it differs from other static code analysis tools because it runs the code. So it's quite distinct in that aspect."
"Polyspace Code Prover is a very user-friendly tool."
"The product detects memory corruptions."
"The user interface on GitLab is better."
"There is a bit of a learning curve."
"The GUI design is poor, so I exclusively use the CLI, which is much easier to use and understand. It would be great to see the GUI updated to be more user-friendly."
"GitHub could add some more security features."
"The ticketing system is not working."
"We would like this solution to have a more user-friendly interface."
"I would like to see more security where a plugin was available for us to update in relation to security."
"Scalability is an area with a shortcoming, because of which it has room for improvement."
"I'd like the data to be taken from any format."
"Using Code Prover on large applications crashes sometimes."
"The tool has some stability issues."
"One of the main disadvantages is the time it takes to initiate the first run."
"Automation could be a challenge."
GitHub is ranked 13th in Application Security Tools with 64 reviews while Polyspace Code Prover is ranked 23rd in Application Security Tools with 5 reviews. GitHub is rated 8.6, while Polyspace Code Prover is rated 7.6. The top reviewer of GitHub writes "Beneficial version control and continuous integration, but guides would be helpful". On the other hand, the top reviewer of Polyspace Code Prover writes "A stable solution for developing software components". GitHub is most compared with Snyk, AWS CodeCommit, Bitbucket, Atlassian SourceTree and Fortify on Demand, whereas Polyspace Code Prover is most compared with SonarQube, Coverity, Klocwork, CodeSonar and Parasoft SOAtest. See our GitHub vs. Polyspace Code Prover report.
See our list of best Application Security Tools vendors.
We monitor all Application Security Tools reviews to prevent fraudulent reviews and keep review quality high. We do not post reviews by company employees or direct competitors. We validate each review for authenticity via cross-reference with LinkedIn, and personal follow-up with the reviewer when necessary.