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