Abstract Model: Slither test tool
Opened this issue · 1 comments
Sentient-XII commented
Good Day, in your paper you mention developing a tool to enhance efficiency, that generates operation sequences that can reach specific functions, using Slither. Is that is perhaps publicly available?
melody27 commented
that's a question