Repositories list

• Violist

  Public
  A String analysis framework for Java and Android apps

  Java

  •

  GNU General Public License v3.0

  •0•10•4•0•Updated Jun 25, 2025Jun 25, 2025

• ScaleFix

  Public
  Java

  •0•0•0•0•Updated Mar 1, 2025Mar 1, 2025

• AutoGym

  Public
  Implementation of "Automatically Defining Game Action Spaces for Exploration Using Program Analysis" at AIIDE 2023

  C#

  •

  MIT License

  •0•0•0•0•Updated Sep 5, 2023Sep 5, 2023

• ARIA

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Aug 18, 2023Aug 18, 2023

• ReproBot-Artifact

  Public
  The artifact of paper Automatically Reproducing Android Bug Reports Using Natural Language Processing and Reinforcement Learning accepted by ISSTA 2023.

  Python

  •1•6•0•0•Updated May 10, 2023May 10, 2023

• ifix

  Public
  IFix: A Tool for the Automated Repair of Internationalization Presentation Failures (IPFs)

  webappspresentation-failures

  HTML

  •1•1•0•2•Updated Apr 14, 2023Apr 14, 2023

• xfix

  Public
  repairwebappspresentation-failures

  Java

  •0•0•0•2•Updated Apr 14, 2023Apr 14, 2023

• UnityActionAnalysis

  Public
  Automatically analyze the input-handling code of Unity games to determine valid game actions

  C#

  •

  MIT License

  •0•3•0•0•Updated Mar 10, 2023Mar 10, 2023

• gwali

  Public
  presentation-failures

  C++

  •0•0•0•0•Updated Feb 28, 2022Feb 28, 2022

• droidsafe-src

  Public
  DroidSafe Android Static Analysis Source Repository

  Java

  •48•0•0•0•Updated Nov 11, 2021Nov 11, 2021

• SAND

  Public
  Java

  •

  Apache License 2.0

  •1•4•0•0•Updated May 15, 2021May 15, 2021

• SQLABenchmark

  Public
  A benchmark for SQL anti-patterns

  Java

  •

  MIT License

  •0•1•0•0•Updated Sep 13, 2019Sep 13, 2019

• mfix

  Public
  MFix: A Tool for the Automated Repair of Mobile Friendly Problems in Web Pages

  presentation-failures

  HTML

  •1•4•1•0•Updated Feb 28, 2019Feb 28, 2019

• RAT-TRAP

  Public
  RAT-TRAP: A Tool for Automated Optimization of Resource Inefficient Database Writes for Mobile Applications

  androidperformanceenergy+ 3optimizationsqlitedatbase

  Java

  •1•2•0•0•Updated Nov 14, 2018Nov 14, 2018

• graphs

  Public
  control-flow-graphcall-graph

  Java

  •1•0•1•0•Updated Oct 7, 2018Oct 7, 2018

• websee

  Public
  Java

  •0•0•1•0•Updated Feb 8, 2018Feb 8, 2018

• SQLUsage

  Public
  Java

  •0•0•0•0•Updated Sep 8, 2017Sep 8, 2017

• Bouquet

  Public
  Java

  •2•1•0•0•Updated Jun 29, 2016Jun 29, 2016

• Nox

  Public
  The upgraded version of Nyx for mobile apps

  Java

  •0•0•0•0•Updated Nov 24, 2015Nov 24, 2015

• Nyx

  Public
  Java

  •0•0•0•0•Updated Sep 21, 2015Sep 21, 2015