Where is the implementation for CRED in ICSE'18?

Open junwha opened this issue 2 years ago • 5 comments

Hi, I'm currently trying to experiment with SABER, and I realized that it can not deal with UAF as mentioned in #481 But I thought it is weird because I know that your group had been published the paper for UAF detection using SVF.

Could you let me know where to use CRED?

Mar 16 '23 14:03 junwha

I also want to know the bellow repo is the implementation of CRED https://github.com/whichbug/SVF-UAF

Mar 16 '23 14:03 junwha

I also want to know the bellow repo is the implementation of CRED https://github.com/whichbug/SVF-UAF

No, I don't think so. The CRED implementation unfortunately has not been integrated into SVF yet.

Mar 16 '23 23:03 yuleisui

Thank you for the answer. you mean CRED is not open-source yet?

Mar 17 '23 05:03 junwha

Not yet. Hopefully we will have someone to port or reimplement it into SVF in the future

Mar 17 '23 05:03 yuleisui

Got it. Thank you:)

Mar 17 '23 05:03 junwha