Rengar

Rengar is the prototype of paper "Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation" published in S&P'23.