Module Properties

Provides a class for representing and reasoning about properties of data-flow nodes.

Import path

import semmle.go.dataflow.Properties

go	Provides classes for working with Go programs.

booleanProperty	Gets a `Property` representing truth outcome `b`.
nilProperty	Gets a `Property` representing `nil`-ness.
notNilProperty	Gets a `Property` representing non-`nil`-ness.

A property which may or may not hold of a data-flow node.