CodeQL library for Python
codeql/python-all 1.0.1 (changelog, source)
Search

Predicate Make::step

Holds if there are transitions from the components of q to r1, r2, and r3 labelled withs1,s2, ands3`, respectively.

Import path

import codeql.regex.nfa.SuperlinearBackTracking
predicate step(StateTuple q, InputSymbol s1, InputSymbol s2, InputSymbol s3, State r1, State r2, State r3)