CodeQL library for JavaScript
Search

Predicate 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 semmle.javascript.security.performance.SuperlinearBackTracking
int distBackFromEnd(StateTuple r, StateTuple end)