mar3yzhang / dainfer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from dainfer/dainfer
This repository contains the implementation of our FSE 2024 paper: **DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization**