This is the released code of Advance which is implemented in the CCS-2020 paper "from RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection".
JiangJias/Advance
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- HTML 72.9%
- Augeas 17.2%
- Python 9.9%