CodeQL library for JavaScript
Search

Class StateTuple

A state in the product automaton. The product automaton contains 3-tuples of states.

We lazily only construct those states that we are actually going to need. Either a start state (pivot, pivot, succ), or a state where there exists a transition from an already existing state.

The exponential variant of this query (js/redos) uses an optimization trick where q1 <= q2. This trick cannot be used here as the order of the elements matter.

Import path

import semmle.javascript.security.performance.SuperlinearBackTracking

Direct supertypes

Fields

Predicates

isTuple

Holds if this tuple is (r1, r2, r3).

toString

Gest a string repesentation of this tuple.

Charpred