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

Predicate Make::getAThreewayIntersect

Gets a char that is matched by all the edges s1, s2, and s3.

The result is not complete, and might miss some combination of edges that share some character.

Import path

import codeql.regex.nfa.SuperlinearBackTracking
string getAThreewayIntersect(InputSymbol s1, InputSymbol s2, InputSymbol s3)