工具

Java

• JavaExP

  JavaExP (在新窗口中打开)

  Java Exception-aware API Lifecycle Model analyzer

  查看代码仓库 (在新窗口中打开)
• JStringChecker

  JStringChecker (在新窗口中打开)

  Java Method to SMT-LIB Converter with its Dataset

  查看代码仓库 (在新窗口中打开)
• JustinSTR

  JustinSTR (在新窗口中打开)

  JustinStr is a tool for automatically generating string test data.

  论文查看代码仓库 (在新窗口中打开)
• Leopard

  Leopard (在新窗口中打开)

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

  论文查看代码仓库 (在新窗口中打开)