Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
High Activity

Related Projects

Analyzed about 21 hours ago. based on code collected about 21 hours ago.

Projects Similar to CPAchecker

K

Klever   (Compare Project)

Low Activity

Mostly written in JavaScript

License: apache_2


 
img avatar

.NET Code Contracts   (Compare Project)

Inactive

Mostly written in C#

License: mit


 
img avatar

DIVINE   (Compare Project)

Activity Not Available

Mostly written in C++

License: bsd_2clause_ish


 

S

Set Decision Diagrams and ITS tools   (Compare Project)

Very Low Activity

Mostly written in Java

License: gpl


 

R

ROSE Compiler   (Compare Project)

High Activity

Mostly written in C++

License: bsd


 
img avatar

FindBugs   (Compare Project)

Very Low Activity

Mostly written in Java

License: lgpl3


 

S

shellcheck   (Compare Project)

Moderate Activity

Mostly written in Haskell

License: Unknown


 
img avatar

Prospector (Python)   (Compare Project)

Activity Not Available

License: GPL2


 
img avatar

Perl::Critic::Bangs   (Compare Project)

Very Low Activity

Mostly written in Perl

License: Artistic_License_2_0


 
img avatar

SpotBugs   (Compare Project)

High Activity

Mostly written in Java

License: Unknown


 

People who use CPAchecker also use:

Open Hub requires more users for this project before we can determine project relationships.

This list is updated nightly.