find ReDoS-vulnerable regexes and prove them, offline
Find ReDoS-vulnerable regexes and prove them, offline.