项目

探索我们正在进行和已完成的研究项目

CDCL(OCAC)

CDCL(OCAC)

Optimization Modulo Theories Nonlinear Real Arithmetic Cylindrical Algebraic Covering/Decomposition

CDCL(OCAC): A complete algorithm for optimization modulo nonlinear real arithmetic.

访问主页查看论文

DMMPP

DMMPP

Android Dummy Main Entry Point Predicate Path-sensitive

Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates.

访问主页查看论文

Leopard

Leopard

Thread Misuse Basic Thread Runnable Static Analysis Java Program

A lightweight tool to detect thread related misuses causing resource leaks in Java.

访问主页查看论文

BLAN

BLAN

Satisfiability Modulo Theories Nonlinear Integer Arithmetic Bit-Blasting

BLAN: Bit-bLAsting solving Non-linear integer constraints.

访问主页查看论文

JustinSTR

JustinSTR

String Test Data Generation Regular Expression Test Case Generation

JustinStr is a tool for automatically generating string test data.

访问主页查看论文

SMTParser

SMTParser

Satisfiability Modulo Theories Optimization Modulo Theories Frontend Library

A frontend for parsing and processing SMT-LIB / OMT format formulas, supporting C++ interfaces.