Skip to content

Latest commit

 

History

History
2 lines (2 loc) · 209 Bytes

README.md

File metadata and controls

2 lines (2 loc) · 209 Bytes

Advance

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".