codeql/javascript-all
0.9.0
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
Holds if type1, type2, path should be emitted as a type row.
type1, type2, path
That is, (type2, path) leads to an value belonging to type1.
(type2, path)
type1
import codeql.mad.dynamic.GraphExport
predicate typeModel(string type1, string type2, string path)