Repositories list

• CodingRuleMap

  Public
  A Large-Scale Code Rule Knowledge Graph

  Python

  •1•2•0•0•Updated Jul 26, 2025Jul 26, 2025

• .github

  Public
  SQUARE Research Group

  3•0•0•0•Updated Jul 26, 2025Jul 26, 2025

• FlowSlicer

  Public
  Java

  •1•0•0•0•Updated Jun 26, 2025Jun 26, 2025

• AutoChecker

  Public
  A tool that codes checker automatically with rule description and test case set input

  Java

  •1•1•0•0•Updated Jun 22, 2025Jun 22, 2025

• hacmony

  Public
  Python

  •0•1•0•0•Updated May 23, 2025May 23, 2025

• hmbot

  Public
  Python

  •0•1•0•0•Updated May 7, 2025May 7, 2025

• confirmCVE

  Public
  Python

  •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

• dnfC

  Public
  Python

  •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

• aptC

  Public
  Python

  •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

• ICTDroid

  Public
  Parameter-Aware Combinatorial Testing for Components of Android Apps

  Java

  •

  GNU Affero General Public License v3.0

  •0•3•0•0•Updated Jan 23, 2025Jan 23, 2025

• panda

  Public
  A parallel tooling driver based on compilation database

  static-analysisclangbuild-tool+ 4build-systemclang-tidycompilation-databasecompiler-wrapper

  Python

  •

  MIT License

  •2•3•3•2•Updated Dec 18, 2024Dec 18, 2024

• JStringChecker

  Public
  transform java bytecode into C-like path, and smtlib form strings

  Kotlin

  •0•1•0•0•Updated Dec 17, 2024Dec 17, 2024

• SynTeR

  Public
  The repository of data and codes for SynTeR, an LLM-based approach to repair obsolete test cases caused by syntactic BCs.

  test-repairllmsyntactic-breaking-change

  Python

  •1•11•0•0•Updated Aug 25, 2024Aug 25, 2024

• CrashTracker

  Public
  Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization

  androidstatic-analysiscrash+ 1fault-localization

  Java

  •

  MIT License

  •6•6•0•0•Updated Aug 23, 2024Aug 23, 2024

• Scasa

  Public
  HTML

  •0•1•0•0•Updated Aug 20, 2024Aug 20, 2024

• ICCBot

  Public
  ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications

  androidstatic-analysisicc+ 1component-transition-graph

  Java

  •13•38•3•0•Updated Jan 26, 2024Jan 26, 2024

• JavaExP

  Public
  Java Exception-aware API Lifecycle Model analyzer

  javalibrarystatic-analysis+ 2exception-analysisapi-lifecycle

  HTML

  •0•2•0•0•Updated Sep 15, 2023Sep 15, 2023

• PyRefcon

  Public
  PyRefcon

  pythonreference-bug

  HTML

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

• ExaDroid

  Public
  Artifacts for paper: Variable-Strength Combinatorial Testing of Exported Activities Based on Misexposure Prediction

  Python

  •

  MIT License

  •0•2•0•0•Updated Apr 26, 2023Apr 26, 2023

• Fax

  Public
  Fair Android Explorer

  androidstatic-analysisicc+ 3gui-testingmodel-basedactivity-launching

  HTML

  •9•20•0•0•Updated Apr 19, 2023Apr 19, 2023

• csa-eh

  Public
  LLVM

  •

  Other

  •0•0•0•0•Updated Mar 17, 2023Mar 17, 2023

• iccviewer.github.io

  Public
  Online version of ICCViewer

  androidicccomponenet-transition-graph

  Java

  •1•1•0•0•Updated Sep 13, 2022Sep 13, 2022

• ICC-Resolution-Evaluation

  Public
  androidicccomponenet-transition-graph

  Python

  •

  MIT License

  •0•3•0•0•Updated Sep 3, 2022Sep 3, 2022

• InsDal

  Public
  Instrument Dalvik

  static-analysisinstrumentationdalvik+ 1andorid

  Shell

  •1•9•0•0•Updated Feb 5, 2021Feb 5, 2021

• LAND

  Public
  LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps

  androidactivity-stackgui-testing+ 1launch-mode

  Python

  •3•8•1•0•Updated Jul 23, 2020Jul 23, 2020

• Mist

  Public
  MISexposure idenTification for Android

  androidsecuritymisexposed-activity

  Python

  •2•1•0•0•Updated Jul 23, 2020Jul 23, 2020

• SPrinter

  Public
  ASE 2019 Tool Demonstration

  static-analysissmart-pointer

  0•8•0•0•Updated Nov 26, 2019Nov 26, 2019