Category: Static analysis
Compliance Sheriff
Compliance Sheriff provides users with a means to monitor online content for potential compliance issues across digital environments – keeping…
- Rating
- Views
- 3834
ConQAT
ConQAT is a toolkit for rapid development and execution of software quality analyses. Integrated visualization of diverse quality characteristics for software…
- Rating
- Views
- 4229
DevPartner
Code review, runtime error detection, code coverage, perfomance analysis
- Rating
- Views
- 3043
CodeAuditor
SSW CodeAuditor is a code analysis tool that allows developers to take control of your code, ensuring large, complex source…
- Rating
- Views
- 2568
devAdvantage
devAdvantage: an automated code review tool that analyzes .NET C# code looking for bugs and issues with the unique ability…
- Rating
- Views
- 2907
ECLAIR Software Verification Platform
Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++…
- Rating
- Views
- 3827
dotTEST
Parasoft® dotTEST™ is an integrated Development Testing solution for automating a broad range of testing best practices proven to improve…
- Rating
- Views
- 3805
DTP
Parasoft Development Testing Platform (DTP) enables Continuous Testing. Leveraging policies, DTP consistently applies software quality practices across teams and throughout…
- Rating
- Views
- 3882
- Rating
- Views
- 2899
FLUCTUAT
FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling…
- Rating
- Views
- 2608