GitHub repository: DAInfer/DAInfer
Primary language: Java
Created: 2024-04-27T06:26:51Z
Description: This repository contains the implementation of our FSE 2024 paper: **DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization**