Skip to content

@ucr-riple RIPLE: RIverside Programming Languages and software Engineering

Change the repository type filter

All

    Repositories list

    13 repositories

    • NullAwayAnnotator

      Public
      A tool to help adapting code bases to NullAway type system.
      javaannotationsinferencenullabilitystaticanalysistypesystems
      Java
      •
      MIT License
      •13•17•17•6•Updated Dec 19, 2025Dec 19, 2025

    • TaintTyper

      Public
      Java
      •
      MIT License
      •0•2•0•10•Updated Oct 16, 2025Oct 16, 2025

    • njr-1-j11

      Public
      0•2•0•0•Updated Sep 24, 2025Sep 24, 2025

    • NullAway-UI

      Public
      This is an online Java sandbox that allows users to run NullAway and NullAway Annotator.
      TypeScript
      •
      Apache License 2.0
      •2•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • NullAway-Sandbox

      Public
      This is an online Java sandbox that allows users to utilize NullAway and ErrorProne in their Java code.
      TypeScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 29, 2024Nov 29, 2024

    • whisk

      Public
      An equality-saturation based micro-fluidic mixing framework
      Rust
      •0•1•14•1•Updated Oct 2, 2024Oct 2, 2024

    • annotator-gradle-plugin

      Public
      Annotator Gradle plugin
      Kotlin
      •
      MIT License
      •1•0•0•0•Updated May 20, 2024May 20, 2024

    • Annotator-Maven-Plugin

      Public
      Kotlin
      •0•0•0•0•Updated 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
      •
      Eclipse Public License 2.0
      •238•0•0•0•Updated Jan 10, 2022Jan 10, 2022

    • jalangi2

      Public
      Dynamic analysis framework for JavaScript
      JavaScript
      •
      Apache License 2.0
      •120•0•0•0•Updated Jan 3, 2022Jan 3, 2022

    • LiveDroid

      Public
      Java
      •
      GNU Lesser General Public License v2.1
      •1•6•0•0•Updated Dec 19, 2021Dec 19, 2021

    • DynCallGraphJS

      Public
      A dynamic call graph generator using Jalangi2
      javascriptjalangi2call-graph-analysis
      JavaScript
      •
      Universal Permissive License v1.0
      •0•8•0•0•Updated Jul 20, 2021Jul 20, 2021

    • AndroidSlicer

      Public
      AndroidSlicer is a dynamic slicing tool, useful for a variety of tasks, from testing to debugging to security.
      Java
      •
      Other
      •4•13•5•0•Updated Jul 28, 2019Jul 28, 2019