GitHub repository: powerofpi/FlowMiner
Primary language: Java
Description: Automatically mines expressive and compact data flow summaries for Java libraries