Module PathProblem

A module for creating custom path problem results in CodeQL, using an efficient forward-reverse search pattern under the hood.

To create a custom path problem, simply define the Node you want to search (which must be Locatable). Then, implement the edge relation, and start and end predicates to indicate the types of things that should be considered problems when connected in the graph.