Tools
Discover tools developed by our research group
Showing 2 tools
- AllDiff-LS
AllDiff-LS (opens in a new window)
A tool for solving All-Different combinatorial constraints via local search
- AutoChecker
AutoChecker (opens in a new window)
A tool that codes checker automatically with rule description and test case set input
- BLAN
BLAN (opens in a new window)
BLAN: Bit-bLAsting solving Non-linear integer constraints.
- CDCL(OCAC)
CDCL(OCAC) (opens in a new window)
CDCL(OCAC): A complete algorithm for optimization modulo nonlinear real arithmetic.
- CrashTracker
CrashTracker (opens in a new window)
Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
- csa-eh
csa-eh (opens in a new window)
A Static Checker for Finding Exception Handling Bugs in C++ Programs
- DMMPP
DMMPP (opens in a new window)
Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates.
- ExaDroid
ExaDroid (opens in a new window)
Variable-Strength Combinatorial Testing of Exported Activities Based on Misexposure Prediction
- Fax
Fax (opens in a new window)
An automated Android GUI Explorer tool
- FlowSlicer
FlowSlicer (opens in a new window)
An Efficient Android App Debloating Approach based on Multi-layer Dependence Graph
- HACMony
HACMony (opens in a new window)
An LLM-based Harmony-OS App Testing Tool that supports Hopping-related Audio-stream Conflict Issue Detection
- ICC-Resolution-Evaluation
ICC-Resolution-Evaluation (opens in a new window)
A Comprehensive Evaluation of Android ICC Resolution Techniques
- ICCBot
ICCBot (opens in a new window)
A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications
- ICTDroid
ICTDroid (opens in a new window)
Parameter-Aware Combinatorial Testing for Components of Android Apps
- InsDal
InsDal (opens in a new window)
A Safe and Extensible Instrumentation Tool on Dalvik Byte-Code for Android Applications
- JavaExP
JavaExP (opens in a new window)
Java Exception-aware API Lifecycle Model analyzer
- JStringChecker
JStringChecker (opens in a new window)
Java Method to SMT-LIB Converter with its Dataset
- JustinSTR
JustinSTR (opens in a new window)
JustinStr is a tool for automatically generating string test data.
- Leopard
Leopard (opens in a new window)
A lightweight tool to detect thread related misuses causing resource leaks in Java.
- Mist
Mist (opens in a new window)
Characterizing and Identifying Misexposed Activities in Android Applications
- panda
panda (opens in a new window)
A Parallel Tooling Driver based on Compilation Database
- Prob-SMT
Prob-SMT (opens in a new window)
A tool that integrates probabilistic reasoning into SMT solving to handle logical constraints involving randomness or uncertainty
- PyRefcon
PyRefcon (opens in a new window)
A Tool for Python Native Code Reference Counting Bug Detection
- S5Cheetah
S5Cheetah
S5cheetah 1.0 is a solver which can decide the satisfiability of modal logic S5. S5cheetah 2.0 can find the Minimal Kripke Model for an S5 formula.
- Scasa
Scasa (opens in a new window)
A Static Checker for Detecting Element Accessing Bugs in C++ Sequence Containers
SMTParser (opens in a new window)
A frontend for parsing and processing SMT-LIB / OMT format formulas, supporting C++ interfaces.
- Spelton
Spelton (opens in a new window)
A Static Checker for Memory-Related Bugs Triggered with C++ Smart Pointers.
- SPrinter
SPrinter (opens in a new window)
A Static Checker for Finding Smart Pointer Errors in C++ Programs
- SynTeR
SynTeR (opens in a new window)
An LLM-based Approach to Repair Obsolete Test Cases caused by Syntactic BCs