LARA: Static ReDoS Detection for Regular Expressions with Lookahead via Matching Automata

This dataset contains artifacts for the paper "LARA: Static ReDoS Detection for Regular Expressions with Lookahead via Matching Automata". It includes the processed JSONL files and result archives used in the evaluation. In particular, it provides the original multilingual regex corpus (`linguafranca-fse19.json`), the filtered lookahead benchmark used in our experiments (`lookahead_fse19_fullmatch_dedup_rewla.jsonl`), the collected CVE regex dataset (`cveall.jsonl`), the filtered CVE benchmark (`cveall_full_only_rewla.jsonl`), and the corresponding experimental outputs on these benchmarks (`results.zip` and `results-cve.zip`). Together, these files support the reproducibility of the experimental results reported in the paper.