erik-krogh
|
8be7eadace
|
delete outdated deprecations
|
2024-01-22 09:11:35 +01:00 |
|
Geoffrey White
|
e8a466a02c
|
Update dead link.
|
2023-11-07 09:26:07 +00:00 |
|
erik-krogh
|
18f8c69261
|
satisfy the signature of HostnameRegexpSig, which doesn't understand RegExpSink
|
2023-05-01 10:49:51 +02:00 |
|
erik-krogh
|
f0254fc089
|
introduce RegExpInterpretation instead of RegexString, and move RegexTreeView.qll into a regexp folder
|
2023-05-01 10:42:13 +02:00 |
|
erik-krogh
|
355499ea52
|
move getACommonTld to the shared pack
|
2022-12-17 17:26:18 +01:00 |
|
erik-krogh
|
f67d0bc8c0
|
put the shared HostnameRegexp code in the shared regex pack
|
2022-12-17 17:26:18 +01:00 |
|
erik-krogh
|
4f11e2d25f
|
port the Python regex/redos queries to use the shared pack
|
2022-11-07 14:31:51 +01:00 |
|
erik-krogh
|
c15f63ce62
|
sync files
|
2022-11-01 21:35:27 +01:00 |
|
Josh Soref
|
45d1e3f9b2
|
spelling: representation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 10:56:41 -04:00 |
|
Josh Soref
|
124c5544cf
|
spelling: predicates
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 10:56:41 -04:00 |
|
Josh Soref
|
52a3e3c2fd
|
spelling: heuristic
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-13 10:56:41 -04:00 |
|
Josh Soref
|
09c8a98761
|
spelling: representation
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:20:26 -04:00 |
|
Josh Soref
|
bb1ce8973a
|
spelling: repeatable
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:20:24 -04:00 |
|
Josh Soref
|
adb8860b9b
|
spelling: pattern
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:20:24 -04:00 |
|
Josh Soref
|
98b317d1a5
|
spelling: escape
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:02:00 -04:00 |
|
Josh Soref
|
370da943dc
|
spelling: abcdefghijklmnopqrstuvwxyz
Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
|
2022-10-12 15:02:00 -04:00 |
|
erik-krogh
|
a86a940df7
|
add getRepr() and toString() on RelevantState
|
2022-09-05 13:27:34 +02:00 |
|
erik-krogh
|
3f1cb04f3e
|
sync files
|
2022-09-05 11:22:34 +02:00 |
|
erik-krogh
|
c38062ce93
|
convert RelevantState to a class in the PrefixConstruction module
|
2022-09-02 20:26:31 +02:00 |
|
erik-krogh
|
77949cbeb3
|
add context to the rankState predicate in ExponentialBackTracking.qll
|
2022-08-29 13:42:05 +02:00 |
|
erik-krogh
|
5e3cb08ed2
|
rename stateInPumpableRegexp to stateInRelevantRegexp
|
2022-08-23 12:40:45 +02:00 |
|
erik-krogh
|
049af68bc2
|
restrict suffix-construction to relevant regexps
|
2022-08-21 20:35:39 +02:00 |
|
erik-krogh
|
d052b1e3c9
|
also support regular expressions without repetitions
|
2022-08-19 19:21:44 +02:00 |
|
erik-krogh
|
473bc92e2d
|
move the PrefixConstruction module out of the ReDoSPruning module
|
2022-08-18 10:07:48 +02:00 |
|
erik-krogh
|
3a4a3437b5
|
fix some QL-for-QL warnings
|
2022-08-12 20:38:50 +02:00 |
|
erik-krogh
|
b9e96fb078
|
sync changes to other languages
|
2022-08-12 20:28:12 +02:00 |
|
Erik Krogh Kristensen
|
9bc12ed8fd
|
sync review changes to other languages
|
2022-06-24 13:12:15 +02:00 |
|
Erik Krogh Kristensen
|
724721c5c8
|
fix typo
|
2022-06-23 14:36:25 +02:00 |
|
Erik Krogh Kristensen
|
22871138c6
|
simplify the recursion between TTrace and isReachableFromStartTuple
similar to the fix made by Shack in `ExponentialBackTracking.qll`
|
2022-06-23 14:36:25 +02:00 |
|
Erik Krogh Kristensen
|
be37763125
|
improve performance of process() by pruning accept states early
|
2022-06-23 14:36:25 +02:00 |
|
Erik Krogh Kristensen
|
13482fc97b
|
rename ReDoSUtil to NfaUtils, and rename the "performance" folder to "regexp"
|
2022-06-23 14:36:25 +02:00 |
|