Alternatives and similar repositories for checker-framework

Users that are interested in checker-framework are comparing it to the libraries listed below

• javaparser / javasymbolsolver
  *old repository* --> this is now integrated in https://github.com/javaparser/javaparser
  ☆296Updated 7 years ago
• forge / roaster
  A Java Parser library that allows easy parsing and formatting of Java source files
  ☆685Updated this week
• jspecify / jspecify
  An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
  ☆1,005Updated 2 weeks ago
• javapathfinder / jpf-core
  JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…
  ☆586Updated 2 weeks ago
• findbugsproject / findbugs
  The new home of the FindBugs project
  ☆774Updated 2 months ago
• randoop / randoop
  Automatic test generation for Java
  ☆583Updated this week
• google / mug
  A small Java 8 library (string manipulation, BiStream, Structured Concurrency, SQL Templates)
  ☆449Updated this week
• easymock / objenesis
  Okay, it's pretty easy to instantiate objects in Java through standard reflection. However there are many cases where you need to go beyo…
  ☆620Updated this week
• INRIA / spoon
  Spoon is a metaprogramming library to analyze and transform Java source code. is made with , and . It parses source files to build a we…
  ☆1,880Updated this week
• google / jimfs
  An in-memory file system for Java 8+
  ☆2,519Updated 2 weeks ago
• openjdk / jol
  https://openjdk.org/projects/code-tools/jol
  ☆1,019Updated 6 months ago
• google / caliper
  Micro-benchmarking library for Java
  ☆820Updated 2 weeks ago
• melix / jmh-gradle-plugin
  Integrates the JMH benchmarking framework with Gradle
  ☆713Updated last month
• eclipse-ee4j / jersey
  Eclipse Jersey Project - Read our Wiki:
  ☆724Updated 3 weeks ago
• google / flogger
  A Fluent Logging API for Java
  ☆1,470Updated 2 weeks ago
• jqwik-team / jqwik
  Property-Based Testing on the JUnit Platform
  ☆634Updated 2 weeks ago
• google / compile-testing
  Testing tools for javac and annotation processors
  ☆714Updated 2 weeks ago
• pholser / junit-quickcheck
  Property-based testing, JUnit-style
  ☆974Updated last year
• siom79 / japicmp
  Comparison of two versions of a jar archive
  ☆750Updated 3 weeks ago
• lvc / japi-compliance-checker
  A tool for checking backward API/ABI compatibility of a Java library
  ☆380Updated last year
• bsideup / jabel
  Jabel - unlock Javac 9+ syntax when targeting Java 8
  ☆808Updated last year
• openjdk / jmc
  Repository for OpenJDK Mission Control, a production time profiling and diagnostics tools suite. https://openjdk.org/projects/jmc
  ☆951Updated last week
• clarkware / jdepend
  A Java package dependency analyzer that generates design quality metrics.
  ☆698Updated 5 years ago
• javacc / javacc
  JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.
  ☆1,259Updated 5 months ago
• JetBrains / java-annotations
  Annotations for JVM-based languages.
  ☆446Updated last week
• mebigfatguy / fb-contrib
  a FindBugs/SpotBugs plugin for doing static code analysis for java code bases
  ☆167Updated last week
• jhalterman / typetools
  Tools for working with generic types
  ☆628Updated 2 years ago
• jcabi / jcabi-aspects
  Collection of AspectJ Java Aspects to facilitate aspect-oriented programming patterns: logging, caching, validating, etc.
  ☆532Updated last week
• apache / commons-collections
  Apache Commons Collections
  ☆713Updated last week
• google / allocation-instrumenter
  A Java agent that rewrites bytecode to instrument allocation sites
  ☆488Updated 3 months ago