https://github.com/jakebailey/dr
ERE derivative-based regex engine
https://github.com/jakebailey/dr
Last synced: 7 months ago
JSON representation
ERE derivative-based regex engine
- Host: GitHub
- URL: https://github.com/jakebailey/dr
- Owner: jakebailey
- License: mit
- Created: 2017-02-27T08:38:22.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-03-15T13:53:53.000Z (over 9 years ago)
- Last Synced: 2025-10-08T06:45:25.718Z (9 months ago)
- Language: Go
- Size: 17.6 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# dr
ERE derivative-based regex engine
[](http://godoc.org/github.com/jakebailey/dr)
This is based on the derivative-based membership checking from
[CS 598 GR](http://fsl.cs.illinois.edu/index.php/CS598_-_Runtime_Verification_(Spring_2017)), aka Runtime Verification.
The implementation is relatively trivial (it's quite literally the same as the paper),
so it might as well be public. The parser was the time consuming part.
"dr" comes from dR, i.e. derivative of R, because I think I'm funny.
The syntax uses `!` for complement, `*` for the Kleene star, `+` for union, and
`.` for any character.
The characters `+*!\().` can be escaped by prefixing with a `\`.
The output of the test program in `cmd/drtest` is:
```
asdfg => asdfg
aaa+bbb => (aaa)+(bbb)
!(a)b*(cd)*e+f => (!(a)(b)*(cd)*e)+(f)
\+\++\*(\!\\) => (\+\+)+(\*\!\\)
matching against ab(c)*
: false
a: false
ab: true
abc: true
abccccc: true
```
Which shows the input and output after parsing and generating the regex, as well
as various examples of matching a common expression.
In addition to those rules described in class, I've also added a rule for `.` (any),
which accepts any single character, although, it could have been represented by
`(!a+a)`.