Skip to content
Change the repository type filter

All

    Repositories list

    • NullAwayAnnotator

      Public
      A tool to help adapting code bases to NullAway type system.
      Java
      1317176Updated Dec 19, 2025Dec 19, 2025
    • Java
      02010Updated Oct 16, 2025Oct 16, 2025
    • njr-1-j11

      Public
      0200Updated Sep 24, 2025Sep 24, 2025
    • This is an online Java sandbox that allows users to run NullAway and NullAway Annotator.
      TypeScript
      2000Updated Dec 16, 2024Dec 16, 2024
    • This is an online Java sandbox that allows users to utilize NullAway and ErrorProne in their Java code.
      TypeScript
      0000Updated Nov 29, 2024Nov 29, 2024
    • whisk

      Public
      An equality-saturation based micro-fluidic mixing framework
      Rust
      01141Updated Oct 2, 2024Oct 2, 2024
    • Annotator Gradle plugin
      Kotlin
      1000Updated May 20, 2024May 20, 2024
    • Kotlin
      0000Updated May 17, 2024May 17, 2024
    • WALA

      Public
      T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
      Java
      238000Updated Jan 10, 2022Jan 10, 2022
    • jalangi2

      Public
      Dynamic analysis framework for JavaScript
      JavaScript
      120000Updated Jan 3, 2022Jan 3, 2022
    • LiveDroid

      Public
      Java
      1600Updated Dec 19, 2021Dec 19, 2021
    • A dynamic call graph generator using Jalangi2
      JavaScript
      0800Updated Jul 20, 2021Jul 20, 2021
    • AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
      Java
      41350Updated Jul 28, 2019Jul 28, 2019