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".
lvtao-sec / advance Goto Github PK
View Code? Open in Web Editor NEWRTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection