CodeQL library for Go
codeql/go-all 0.7.12 (changelog, source)
Search

Member predicate AllocationSizeOverflow::Configuration::isSource

Holds if source is a relevant taint source.

The smaller this predicate is, the faster hasFlow() will converge.

predicate isSource(Node nd)