recheck

The trustworthy ReDoS checker

License

MIT License.

2020-2023 (C) TSUYUSATO "MakeNowJust" Kitsune

4.4.5 (2023-02-15)

Fixes:

• #768 Show stderr output of agent processes (@makenowjust)

Misc:

• #767 Fix links in doc comments (@makenowjust)

4.4.4 (2023-02-14)

Fixes:

• #760 Pin the version of the CI environments for preventing GLIBC version warning (@makenowjust)
• #764 Remove deprecated System.runFinalizer call (@makenowjust)

Misc:

• #761 Use $GITHUB_OUTPUT instead of set-output (@makenowjust)
• #753 Update circe-core, circe-generic, ... to 0.14.4 (@makenowjust)
• #762 Rename artifact files before release (@makenowjust)
• #765 Remove useless @nowarn annotation (@makenowjust)

4.4.3 (2023-01-23)

Fixes:

• #720 Correctly fix esbuild config for Node v14 (@makenowjust)

Misc:

• #700 Update workflow for using coursier/setup-action (@makenowjust)
• #705 Update GraalVM version (@makenowjust)
• #711 Update copyright year 2022 -> 2023 (@makenowjust)

4.4.2 (2023-01-05)

New Features:

• #698 Add recommended config to the ESLint plugin (@makenowjust)

Misc:

• #501 Convert duration params to integer explicitly on playground (@makenowjust)
• #609 Update Node.js to v18 (@makenowjust)
• #699 Use action-gh-release (@makenowjust)

4.4.1 (2022-06-17)

Fixes:

• #491 Fix Duration and Parameter decoder for missing keys and null (@makenowjust)

4.4.0 (2022-05-17)

Changes:

• #357 Add Default prefix to default parameter values (@makenowjust)
• #358 Sort Parameters names in lexicographic order (@makenowjust)
• #448 Allow all parameters to ESLint plugin options (@makenowjust)

Fixes:

• #341 Fix zero-width assertion in automaton checker (@makenowjust)
• #380 Correct to increase steps on back-reference (@makenowjust)
• #411 Update Scala.js to 1.10.0 (@makenowjust)

Misc:

• #337 Increase timeout on main.ts test (@makenowjust)
• #343 Enable Algolia DocSearch (@makenowjust)
• #360 Enable log on playground (@makenowjust)
• #369 Fix Windows build (@makenowjust)
• #368 Fix log scroll (@makenowjust)
• #374 Format package.json by using https://devina.io/package-json-formatter (@makenowjust)
• #379 Fix coreJVM/initialCommands to run (@makenowjust)

4.3.0 (2022-02-05)

New Features:

• #289 Add worker backend to the NPM package (@makenowjust)

Changes:

• #283 Rename hybrid to auto (@makenowjust)
• #332 Rename labo to labs (@makenowjust)

Fixes:

• #284 Add missing field AttackPattern#pattern in TypeScript definition (@makenowjust)

Misc:

• #279 Update CHANGELOG.md automatically by GitHub Actions (@makenowjust)
• #280 Handle SBT deps by renovate correctly (@makenowjust)
• #281 Update scala-library, scala-reflect to 2.13.8 (@makenowjust)
• #282 Add note section to ESLint plugin document (@makenowjust)
• #286 Update CHANGELOG.md format (@makenowjust)
• #295 Renew document website powered by Docusaurus (@makenowjust)
• #313 Remove mdoc to build the document (@makenowjust)
• #314 Don't ignore to build website on CI test (@makenowjust)
• #318 Fix logo style (@makenowjust)
• #320 Improve documentation (@makenowjust)

4.2.2 (2022-01-14)

Fixes:

• Fix handleLine in Agent for large data (#266)
• Prefer to use native backend on RECHECK_BACKEND=auto (#268)

4.2.1 (2022-01-08)

Fixes:

• Don't bundle recheck in eslint-plugin-redos (#260)
• Use require directly instead of module.require (#261)

4.2.0 (2022-01-08)

Changes:

• Split common package into another module recheck-common (#202)
• Increase default parameter values (#202)
• Restrict repeats contained in gene (#202)
• Add Parameters as immutable version of Config (#202)
• Add accelerationMode parameter to specify acceleration mode behavior (#211)
• Rename default parameter constant names (#211)
• Add the new default seeder named StaticSeeder (#227)
• Decrease some parameters default values (#227)
• Improve repetition count estimation (#227)
• Use JavaScript style representation for AttackPattern#toString (#229)
• Apply look-ahead optimization to VM (#233)
• Add recall validation (#234)
• Simplify automaton without input terminator distinction (#240)
• Add recheck-jar package (#248)
• Improve StaticSeeding.simplify against look-around near by repeat (#255)

Fixes:

• Fix semaphore usage in test (#230)
• Fix sbt file issues (#231)
• Check integer overflow on matching steps (#232)
• Fix loop detection in StaticSeeder (#235)
• Returns iterator in FuzzChecker (#236)
• Rewrite recheck package implementation (#248)
• Add recheck package test (#248)
• Optimize alphabet construction (#258)

4.1.1 (2021-12-04)

Fixes:

• Add index.d.ts file to the package (#184)
• Fix optionalDependencies in recheck package (#185)

4.1.0 (2021-12-04)

Changes:

• Add checkSync function to NPM package (#156)
• Add eslint-plugin-redos package (#160)

Fixes:

• Set default value to check config (#143)
• Rewrite recheck package in TypeScript (#149)
• Call subprocess.ref()/unref() correctly (#181)

4.0.2 (2021-11-23)

A test release. (Second)

4.0.1 (2021-11-23)

A test release.

4.0.0 (2021-11-23)

Changes:

• Move unicode related types into new recheck-unicode module (#77)
• Move RegExp parser into new recheck-parse module (#78)
• Move JS binding into new recheck-js module (#79)
• Add recheck CLI (#83)
• Build recheck CLI by using Graal native-image
• Move circe codes into recheck-codec module (#91)
• Rename recheck module to recheck-core (#92)
• Add ErrorKind.Cancel for canceled execution (#93)
• Rename EpsNFABuilder.compile to .build (#94)
• Improve AST node structure (#138)
• Rename batch subcommand to agent (#139)
• Add recheck-${os}-${cpu} packages to distribute binaries (#141)
• Rename @makenowjust-labs/recheck package to recheck (#141)

Fixes:

• Update sourcecode to 0.2.7 (#72)
• Update Scala version to 2.13.6
• Run recheck batch requests in asynchronous (#89)
• Update Scala version tp 2.13.7

3.1.0 (2021-05-14)

Changes:

• Remove isLineTerminator and isWord flags from IChar
• Simplify UString implementation as String wrapper
• Send coverage to Codecov
• Rename EpsNFACompiler to EpsNFABuilder

Fixes:

• Fix nested look-around assertion behavior correctly
• Improve code coverage
• Refactor EpsNFABuilder by using a class.

3.0.0 (2021-04-14)

Changes:

• Add a new VM implementation for fuzzing :tada:
  • acceleration mode & opt-in analysis

2.1.0 (2021-02-08)

Changes:

• Add loc to RegExp AST nodes
• Add hotspot information to Diagnostics

2.0.2 (2021-02-04)

Fixes:

• Update the website
• Add ES module build to JS package

2.0.1 (2021-02-01)

Fixes:

• Upload JavaScript file correctly

2.0.0 (2021-02-01)

Changes:

• Use consuming steps instead of VM execution steps in fuzzing
• Add cancellable Context
• Refactor Diagnostics
• Rename the project name redos to recheck

1.2.0 (2021-01-02)

Changes:

• Drop max from FString.Repeat
• Rename the module name redos-core to redos
• Update Scala to 2.13.4
• Rename MultiNFA to NFAwLA

Fixes:

• Fix ε-loop elimination

1.1.2 (2020-12-04)

Fixes:

• Insert timeout checks more and more
• Improve some tests

1.1.1 (2020-11-24)

Changes:

• Add used checker information to Diagnostics

Fixes:

• Update default parameters
• Optimize the automaton based checker implementation

1.1.0 (2020-11-20)

Changes:

• Add maxDegree parameter

Fixes:

• Optimize VM implementation
• Improve attack string construction strategy

1.0.1 (2020-11-19)

Fixes:

• Handle timeout error in ReDoS.check correctly.

1.0.0 (2020-11-19)

Changes:

• Move Compiler to automaton package.
• Move unicode package to data package.
• Add backtrack based RegExp VM.
• Add fuzz checker.
• Add hybrid checker.

Fixes:

• Fix conversion from repeat pattern a{n,m} to ε-NFA correctly.
• Remove duplicated canonicalization of word escape class on ignore-case.

0.2.0 (2020-11-01)

Changes:

• Move Checker, Complexity and Witness into automaton package.
• Add Diagnostics.
• Use Vector instead for performance.
• Improve package.json contents.

Fixes:

• Refactor EpsNFA.Assertion#accept.

0.1.1 (2020-10-27)

Changes:

• Fix ε-elimination behavior with an assertion.
• Fix IChar.Word range.
• Add TypeScript definition file to NPM package.

0.1.0 (2020-10-27)

An initial release.