Alternatives and similar repositories for NullAwayAnnotator:

Users that are interested in NullAwayAnnotator are comparing it to the libraries listed below

• wala / ML
  ☆26Updated last week
• UnitTestBot / jacodb
  fast and effective way to access and analyze java bytecode
  ☆24Updated this week
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 2 months ago
• ASSERT-KTH / deptrim
  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
  ☆13Updated this week
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆63Updated last year
• psycopaths / jconstraints
  A constraint solver abstraction layer for Java
  ☆21Updated last year
• resess / Slicer4J
  Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.
  ☆41Updated 11 months ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆28Updated 3 months ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆25Updated last year
• sosy-lab / llvm-j
  Java bindings for LLVM libraries
  ☆8Updated 3 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated 2 weeks ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆35Updated 2 years ago
• ASSERT-KTH / flacoco
  FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
  ☆29Updated this week
• STAMP-project / test-runner
  test driver to run JUnit tests isolated in a new JVM
  ☆16Updated last month
• JUnitContest / JUGE
  junit tools contest infrastructure
  ☆11Updated 11 months ago
• STAMP-project / botsing
  Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.
  ☆32Updated 2 years ago
• benjholla / ddmin
  A generic Java implementation of Andreas Zeller's delta debugging algorithm
  ☆24Updated 8 years ago
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆108Updated last week
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆79Updated 3 months ago
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆58Updated last year
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆93Updated this week
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 3 years ago
• kelloggm / object-construction-checker
  An extension to the Java type system to catch badly-behaving builder patterns
  ☆12Updated last year
• plast-lab / doop
  The official repo of Doop, the declarative pointer analysis framework.
  ☆169Updated 2 months ago
• SpoonLabs / nopol
  Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
  ☆98Updated 3 months ago
• ASSERT-KTH / pankti
  Generating tests from production workloads http://arxiv.org/pdf/2012.01198
  ☆18Updated 2 months ago
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆116Updated 5 years ago
• wala / WALA-start
  Basic Gradle configuration and example drivers to get started with WALA
  ☆29Updated last month
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆20Updated this week