CodeQL library for Java/Kotlin
codeql/java-all 4.2.1 (changelog, source)
Search

Predicate Make::distBackFromEnd

Gets the minimum length of a path from r to some an end state end.

The implementation searches backwards from the end-tuple. This approach was chosen because it is way more efficient if the first predicate given to shortestDistances is small. The end argument must always be an end state.

Import path

import codeql.regex.nfa.SuperlinearBackTracking
int distBackFromEnd(StateTuple r, StateTuple end)