--- a/ChengsongTanPhdThesis/example.bib Mon Mar 28 00:59:42 2022 +0100
+++ b/ChengsongTanPhdThesis/example.bib Mon Mar 28 20:00:04 2022 +0100
@@ -9,11 +9,17 @@
@article{Rathnayake2014StaticAF,
title={Static Analysis for Regular Expression Exponential Runtime via Substructural Logics},
author={Asiri Rathnayake and Hayo Thielecke},
- journal={ArXiv,
+ journal={ArXiv},
year={2014},
volume={abs/1405.7058}
}
+@inproceedings{Weideman2017Static,
+ title={Static analysis of regular expressions},
+ author={Nicolaas Weideman},
+ year={2017}
+}
+
@inproceedings{RibeiroAgda2017,
abstract = {We describe the formalization of a regular expression (RE) parsing algorithm that produces a bit representation of its parse tree in the dependently typed language Agda. The algorithm computes bit-codes using Brzozowski derivatives and we prove that produced codes are equivalent to parse trees ensuring soundness and completeness w.r.t an inductive RE semantics. We include the certified algorithm in a tool developed by us, named verigrep, for regular expression based search in the style of the well known GNU grep. Practical experiments conducted with this tool are reported.},
address = {New York, NY, USA},
@@ -109,9 +115,9 @@
date-added = {2020-11-24 00:00:00 +0000},
date-modified = {2021-05-07 00:00:00 +0000},
keywords = {ReDos static analyser},
- month = {May}
- title = {regexploit}
- url = {https://github.com/doyensec/regexploit}
+ month = {May},
+ title = {regexploit},
+ url = {https://github.com/doyensec/regexploit},
year = {2021}
}
@@ -122,7 +128,13 @@
url = {https://wiki.haskell.org/Regex_Posix},
year = {2017}
}
-
+@misc{regex101,
+ title = {regex101},
+ author = {Firas Dib},
+ year = {2011},
+ url = {https://regex101.com/},
+ keywords = {regex tester debugger}
+}
@techreport{grathwohl2014crash,
title={A Crash-Course in Regular Expression Parsing and Regular Expressions as Types},