Repositories list

• NullAwayAnnotator

  Public
  A tool to help adapting code bases to NullAway type system.

  inferencenullabilitystaticanalysis+ 3typesystemsjavaannotations

  Java

  •

  MIT License

  •6•13•15•7•Updated Oct 30, 2024Oct 30, 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

  •221•0•0•0•Updated Jan 10, 2022Jan 10, 2022

• jalangi2

  Public
  Dynamic analysis framework for JavaScript

  JavaScript

  •

  Apache License 2.0

  •119•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•6•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