Projects
Explore our ongoing and completed research projects
SMTParser
Satisfiability Modulo Theories Optimization Modulo Theories Frontend Library
A frontend for parsing and processing SMT-LIB / OMT format formulas, supporting C++ interfaces.
CDCL(OCAC)
Optimization Modulo Theories Nonlinear Real Arithmetic Cylindrical Algebraic Covering/Decomposition
CDCL(OCAC): A complete algorithm for optimization modulo nonlinear real arithmetic.
DMMPP
Android Dummy Main Entry Point Predicate Path-sensitive
Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates.
Leopard
Thread Misuse Basic Thread Runnable Static Analysis Java Program
A lightweight tool to detect thread related misuses causing resource leaks in Java.
BLAN
Satisfiability Modulo Theories Nonlinear Integer Arithmetic Bit-Blasting
BLAN: Bit-bLAsting solving Non-linear integer constraints.
JustinSTR
String Test Data Generation Regular Expression Test Case Generation
JustinStr is a tool for automatically generating string test data.
ICCBot
Java Android
ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications.